daniel 6f46ad37f1 Update to commit bb9fa555 for coq 8.11.2 support.

2020-07-02 02:36:51 +00:00

..

patches

Update to commit 08491de0 for coq 8.11.1 support.

2020-06-02 12:58:22 +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 bb9fa555 for coq 8.11.2 support.

2020-07-02 02:36:51 +00:00

Makefile

Update to commit bb9fa555 for coq 8.11.2 support.

2020-07-02 02:36:51 +00:00