daniel efd5a97f0a update ocaml to 4.12.1 ...

The ocaml update requires ocaml-camlp4 to be updated in sync and all
dependant ports need a bump.

ok avsm@ (MAINTAINER)

2021-12-10 04:10:59 +00:00

..

patches

update to CompCert 3.10

2021-11-21 02:10:17 +00:00

pkg

Update to commit 9b881b79 for coq 8.11.0 and ocaml 4.10 support.

2020-02-16 04:34:23 +00:00

distinfo

update to CompCert 3.10

2021-11-21 02:10:17 +00:00

Makefile

update ocaml to 4.12.1

2021-12-10 04:10:59 +00:00