dfanfdsanfdsa/ood-ports-lbsd-fork1

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

Автор	SHA1 Съобщение	Дата
espie	0662a4e9d6 PERMIT_* / REGRESS->TEST sweep	преди 12 години
naddy	055eb23368 properly honor CC/CFLAGS	преди 13 години
jasper	bc895bff08 missing bump	преди 13 години
jasper	6e4ac2d1c5 - tweak MASTER_SITES	преди 13 години
jasper	eec0417831 bump after default python version switch	преди 13 години
jasper	2c96b38d8c import Prover9, Mace4, and several related programs come packaged in a system	преди 14 години