OpenBSD/ports RjATgs1 — lang/compcert Makefile, lang/compcert/patches patch-configure
Patch to configure against coq 8.10+beta2 ok daniel@
| Version | Delta | File | |
|---|---|---|---|
| 1.6 | +10 | -1 | lang/compcert/patches/patch-configure |
| 1.10 | +2 | -1 | lang/compcert/Makefile |
| +12 | -2 | 2 files | |
