| .. |
|
files
|
2c96b38d8c
import Prover9, Mace4, and several related programs come packaged in a system
|
14 years ago |
|
patches
|
2c96b38d8c
import Prover9, Mace4, and several related programs come packaged in a system
|
14 years ago |
|
pkg
|
2c96b38d8c
import Prover9, Mace4, and several related programs come packaged in a system
|
14 years ago |
|
Makefile
|
511c5d230a
a few minor pkg_subst fixes, for the coming patch (disallow -c without -m
|
9 years ago |
|
distinfo
|
570aa62a9c
Drop remaining MD5/RMD160/SHA1 checksums.
|
10 years ago |
espie