CVSROOT: /cvs Module name: ports Changes by: dan...@cvs.openbsd.org 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
CVSROOT: /cvs Module name: ports Changes by: dan...@cvs.openbsd.org 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