OpenBSD/ports lzCqpjM — math/coq Makefile, math/coq/pkg PFRAG.no-native PLIST
fix plist for bytecode-only arm64, sparc64 OK jca@
| Version | Delta | File | |
|---|---|---|---|
| 1.2 | +24 | -21 | math/coq/pkg/PFRAG.no-native |
| 1.14 | +6 | -3 | math/coq/pkg/PLIST |
| 1.6 | +3 | -1 | math/coq/pkg/PFRAG.native |
| 1.46 | +2 | -1 | math/coq/Makefile |
| +35 | -26 | 4 files | |
