patches
|
Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@
|
2015-06-19 21:25:32 +00:00 |
pkg
|
Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@
|
2015-06-19 21:25:32 +00:00 |
distinfo
|
Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@
|
2015-06-19 21:25:32 +00:00 |
Makefile
|
bump coq REVISION due to OCaml 4.02.3 update
|
2015-08-30 16:34:41 +00:00 |