OpenBSD/ports HhdyM7Kmath/coq Makefile distinfo, math/coq/pkg PLIST PFRAG.native

   - 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)
VersionDeltaFile
1.44+3-3math/coq/Makefile
1.13+5-1math/coq/pkg/PLIST
1.16+2-2math/coq/distinfo
1.5+3-1math/coq/pkg/PFRAG.native
1.6+2-1math/coq/pkg/PFRAG.dynlink-native
+15-85 files

UnifiedSplitRaw