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