Johan van Selst 377f42277a Update Coq to 8.4pl6 ... PR: 200409 Submitted by: yuri@rawbw.com		2015-05-23 10:06:54 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist