CVS: cvs.openbsd.org: ports

Fri, 03 Dec 2021 20:34:00 -0800 

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2021/12/03 21:33:45

Modified files:
        math/coq       : Makefile distinfo 
        math/coq/pkg   : PFRAG.dynlink-native PFRAG.native PLIST 

Log message:
update coq to 8.13.2

Reply via email to