Version of racket-common: 8.16+dfsg1-3
Architecture of racket-common: all
Version of eye: 1:10.30.11~ds-1
Architecture of eye: all
| racket-common | eye | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 6 B | ./usr/share/racket/pkgs/racklog/tests/lang/true.txt./usr/share/racket/pkgs/datalog/tests/examples/true.txt./usr/share/racket/pkgs/datalog/tests/paren-examples/true.txt | sha512 | ./usr/share/doc/eye/examples/reasoning/entail/socrates-check.n3 |