CVSROOT: /cvs Module name: ports Changes by: [email protected] 2020/06/01 00:04:50
Modified files:
math/coq : Makefile distinfo
math/coq/pkg : PFRAG.dynlink-native PFRAG.native
PFRAG.no-native PLIST
Log message:
Upgrade math/coq to 8.11.1
ok daniel@
