CVS: cvs.openbsd.org: ports

Thu, 09 Jun 2011 01:37:25 -0700 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  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

Reply via email to