CVS: cvs.openbsd.org: ports

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2020/11/25 22:30:03


Modified files:
        math/coq       : Makefile distinfo 

Log message:
update coq to 8.12.1; a bug fix release

ok Yozo Toda (MAINTAINER)

Reply via email to