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

2 commits

Author SHA1 Message Date
jtb
a1417e24b9 Respect CFLAGS. This seems to work okay with default optimization. 2001-04-25 23:35:30 +00:00
jtb
1184440a59 Initial import of new "otter" package: 
Otter is a theorem-proving program
 2000-11-25 18:19:19 +00:00