jasper bc895bff08 missing bump		2011-07-05 09:13:36 +00:00
..
files	import Prover9, Mace4, and several related programs come packaged in a system	2011-03-07 22:26:24 +00:00
patches	import Prover9, Mace4, and several related programs come packaged in a system	2011-03-07 22:26:24 +00:00
pkg	import Prover9, Mace4, and several related programs come packaged in a system	2011-03-07 22:26:24 +00:00
distinfo	import Prover9, Mace4, and several related programs come packaged in a system	2011-03-07 22:26:24 +00:00
Makefile	missing bump	2011-07-05 09:13:36 +00:00