espie
511c5d230a
a few minor pkg_subst fixes, for the coming patch (disallow -c without -m
...
outside of WRKDIR)
2015-11-02 11:56:54 +00:00
jasper
5c884092b6
remove a whole bunch more @rm -f cases
2015-05-25 07:54:27 +00:00
naddy
570aa62a9c
Drop remaining MD5/RMD160/SHA1 checksums.
2015-01-18 03:12:39 +00:00
sthen
7b10e7c633
PERMIT_*
2013-03-11 12:27:53 +00:00
espie
0662a4e9d6
PERMIT_* / REGRESS->TEST sweep
2013-03-11 11:20:26 +00:00
espie
e820071495
normalize pkgpath
2011-09-16 10:31:20 +00:00
naddy
055eb23368
properly honor CC/CFLAGS
2011-09-08 14:48:25 +00:00
jasper
bc895bff08
missing bump
2011-07-05 09:13:36 +00:00
jasper
6e4ac2d1c5
- tweak MASTER_SITES
2011-06-29 18:11:25 +00:00
jasper
eec0417831
bump after default python version switch
2011-06-08 17:31:05 +00:00
jasper
2c96b38d8c
import Prover9, Mace4, and several related programs come packaged in a system
...
called LADR (Library for Automated Deduction Research).
split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr)
ok aja@
and thanks to landry@/robert@ too for putting up with my ranting about this..
2011-03-07 22:26:24 +00:00
