OpenBSD/ports eevqSRL — lang/compcert Makefile distinfo, lang/compcert/patches patch-configure
Update to compcert-3.5 ok daniel@ (MAINTAINER)
| Version | Delta | File | |
|---|---|---|---|
| 1.5 | +2 | -2 | lang/compcert/Makefile |
| 1.4 | +2 | -2 | lang/compcert/distinfo |
| 1.4 | +2 | -2 | lang/compcert/patches/patch-configure |
| +6 | -6 | 3 files | |
