daniel 91ef93d6d1 update to tagged release of 3.8 ...

Adds coq 8.12.1 support along with the usual spate of improvements.

2020-11-17 04:13:18 +00:00

..

patches

update to commit 27beb944

2020-11-15 03:02:19 +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 tagged release of 3.8

2020-11-17 04:13:18 +00:00

Makefile

update to tagged release of 3.8

2020-11-17 04:13:18 +00:00