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