CVSROOT: /cvs Module name: ports Changes by: jas...@cvs.openbsd.org 2011/06/09 02:32:08
Modified files:
textproc/py-nltk: Makefile
Log message:
add prover9/mace4 to dependencies so mace4 model builder and prover9 theorem
prover are available
