daniel c8549b0b90 Update to commit 9af28924 so bytecode-only platforms can be supported.		2020-07-07 23:03:10 +00:00
..
patches	Update to commit 9af28924 so bytecode-only platforms can be supported.	2020-07-07 23:03:10 +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 9af28924 so bytecode-only platforms can be supported.	2020-07-07 23:03:10 +00:00
Makefile	Update to commit 9af28924 so bytecode-only platforms can be supported.	2020-07-07 23:03:10 +00:00