kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
24440 commits 166 branches 0 tags 1.5 GiB
Commit graph

2 commits

Author SHA1 Message Date
zuntum
98cf373d36 Move pkg/ files into package's toplevel directory 2001-11-01 00:32:23 +00:00
jtb
1184440a59 Initial import of new "otter" package: 
Otter is a theorem-proving program
 2000-11-25 18:19:19 +00:00