CVSROOT: /cvs Module name: ports Changes by: dan...@cvs.openbsd.org 2019/09/19 21:28:34
Modified files:
math/coq : Makefile distinfo
math/coq/pkg : PFRAG.dynlink-native PFRAG.native PLIST
Log message:
- Update to beta3 to pickup a few bug fixes.
- Make the regression tests more verbose like we used but lost in one
of the recent updates.
ok Yozo Toda (MAINTAINER)
