daniel f2247bcb5f Update to commit 08491de0 for coq 8.11.1 support.		2020-06-02 12:58:22 +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 08491de0 for coq 8.11.1 support.	2020-06-02 12:58:22 +00:00
Makefile	Update to commit 08491de0 for coq 8.11.1 support.	2020-06-02 12:58:22 +00:00