| package | filename | size | different function |
|---|---|---|---|
| eye | ./usr/share/doc/eye/examples/reasoning/entail/socrates-check.n3 | 6 B | |
| racket-common | ./usr/share/racket/pkgs/datalog/tests/examples/true.txt | 6 B | |
| racket-common | ./usr/share/racket/pkgs/datalog/tests/paren-examples/true.txt | 6 B | |
| racket-common | ./usr/share/racket/pkgs/racklog/tests/lang/true.txt | 6 B |