diff options
| author | jtb <jtb@pkgsrc.org> | 2000-11-25 18:19:19 +0000 |
|---|---|---|
| committer | jtb <jtb@pkgsrc.org> | 2000-11-25 18:19:19 +0000 |
| commit | 1184440a595c6881edeba143013654b47885b79f (patch) | |
| tree | cb2b761d4f309bfec4b6d73dc3e4ecde88f67339 /shells | |
| parent | b5b4cb4f4ab6d8b206bd4b0cb6cdffe2993bfb74 (diff) | |
| download | pkgsrc-1184440a595c6881edeba143013654b47885b79f.tar.gz | |
Initial import of new "otter" package:
Otter is a theorem-proving program
Diffstat (limited to 'shells')
0 files changed, 0 insertions, 0 deletions