CVS: cvs.openbsd.org: ports

Tue, 08 Oct 2019 03:57:13 -0700 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]   2019/10/08 04:56:29

Modified files:
        math/coq       : Makefile 

Log message:
really bump REVISION

Reply via email to