CVS: cvs.openbsd.org: ports

Tue, 15 Oct 2019 23:40:26 -0700 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2019/10/16 00:40:03

Modified files:
        math/coq       : Makefile distinfo 

Log message:
Update to coq 8.10.0; ok Yoza Toda (MAINTAINER)

Reply via email to