OpenBSD/ports D84CJVv — lang/compcert Makefile distinfo, lang/compcert/patches patch-configure
Update to CompCert 3.6.
| Version | Delta | File | |
|---|---|---|---|
| 1.8 | +30 | -5 | lang/compcert/patches/patch-configure |
| 1.13 | +4 | -4 | lang/compcert/Makefile |
| 1.7 | +2 | -2 | lang/compcert/distinfo |
| +36 | -11 | 3 files | |
