| .. |
|
patches
|
055eb23368
properly honor CC/CFLAGS
|
il y a 13 ans |
|
pkg
|
2c96b38d8c
import Prover9, Mace4, and several related programs come packaged in a system
|
il y a 14 ans |
|
Makefile
|
0662a4e9d6
PERMIT_* / REGRESS->TEST sweep
|
il y a 12 ans |
|
distinfo
|
570aa62a9c
Drop remaining MD5/RMD160/SHA1 checksums.
|
il y a 10 ans |
naddy