CVS: cvs.openbsd.org: ports

[Jasper Lievisse Adriaanse]

CVSROOT:        /cvs
Module name:    ports
Changes by:     jas...@cvs.openbsd.org  2011/07/05 03:13:36

Modified files:
        math/prover9/ladr: Makefile 
        math/prover9/p9m4: Makefile 

Log message:
missing bump