openbsd-ports/lang/compcert
naddy 3e042ba62d Bump all ports that depend on ports-gcc on the clang archs.
SYSTEM_VERSION didn't quite work out how we expected and it's
easier|safer to do it this way than fiddle with pkg_add now.
2019-04-28 21:08:26 +00:00
..
patches Drop dependency on base gcc and switch to ports gcc instead. 2019-04-20 22:12:41 +00:00
pkg
distinfo Update to compcert-3.5 2019-03-17 03:26:53 +00:00
Makefile Bump all ports that depend on ports-gcc on the clang archs. 2019-04-28 21:08:26 +00:00