Version of eye: 1:10.30.11~ds-1
Architecture of eye: all
Version of racket-common: 8.16+dfsg1-3
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 |