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 coq 8.11.2; ok Yoza Toda (MAINTAINER)

2020-07-16 02:50:07 +00:00

pkg

update coq to 8.13.2

2021-12-04 04:33:45 +00:00

distinfo

update coq to 8.13.2

2021-12-04 04:33:45 +00:00

Makefile

update ocaml to 4.12.1

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