espie 0ac561f238 this does need the emacs dirs

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

..

DESCR

…

PFRAG.dynlink-native

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

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

PFRAG.native

…

PLIST

this does need the emacs dirs

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