CVSROOT: /cvs Module name: ports Changes by: [email protected] 2020/08/08 20:45:35
Modified files:
math/coq : Makefile distinfo
math/coq/pkg : PFRAG.dynlink-native PFRAG.native PLIST
Log message:
Update to coq 8.12.0; tested by myself and MAINTAINER on amd64.
