OpenBSD/ports HhdyM7K — math/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)
Version | Delta | File | |
---|---|---|---|
1.44 | +3 | -3 | math/coq/Makefile |
1.13 | +5 | -1 | math/coq/pkg/PLIST |
1.16 | +2 | -2 | math/coq/distinfo |
1.5 | +3 | -1 | math/coq/pkg/PFRAG.native |
1.6 | +2 | -1 | math/coq/pkg/PFRAG.dynlink-native |
+15 | -8 | 5 files |