dfanfdsanfdsa/ood-ports-lbsd-fork1 @ f08698bfd37fd2660c12a33be02e897cc2b4ec42

разклонено от jimmy/ood-ports-lbsd

espie 511c5d230a a few minor pkg_subst fixes, for the coming patch (disallow -c without -m		преди 9 години
..
ladr	570aa62a9c Drop remaining MD5/RMD160/SHA1 checksums.	преди 10 години
p9m4	511c5d230a a few minor pkg_subst fixes, for the coming patch (disallow -c without -m	преди 9 години
Makefile	2c96b38d8c import Prover9, Mace4, and several related programs come packaged in a system	преди 14 години
Makefile.inc	7b10e7c633 PERMIT_*	преди 11 години