daniel b9b92f85e7 Update to commit 0132b8aa for improved builtin support.

2020-07-28 08:35:31 +00:00

..

patches

Update to commit 72f78307 with additional updates to support bytecode-only

2020-07-16 23:43:32 +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 commit 0132b8aa for improved builtin support.

2020-07-28 08:35:31 +00:00

Makefile

Update to commit 0132b8aa for improved builtin support.

2020-07-28 08:35:31 +00:00