OpenBSD/ports ryGP6hD — lang/compcert Makefile
Remove BROKEN, math/coq has been updated ok daniel@ (maintainer)
Version | Delta | File | |
---|---|---|---|
1.4 | +2 | -4 | lang/compcert/Makefile |
+2 | -4 | 1 files |
Remove BROKEN, math/coq has been updated ok daniel@ (maintainer)
Version | Delta | File | |
---|---|---|---|
1.4 | +2 | -4 | lang/compcert/Makefile |
+2 | -4 | 1 files |