espie 0ac561f238 this does need the emacs dirs

2018-05-20 08:25:36 +00:00

..

patches

Upgrade Ocaml to 4.3.0 and tweak ports the minimal amount to keep

2016-06-24 15:59:11 +00:00

pkg

this does need the emacs dirs

2018-05-20 08:25:36 +00:00

distinfo

Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@

2015-06-19 21:25:32 +00:00

Makefile

this does need the emacs dirs

2018-05-20 08:25:36 +00:00