Johan van Selst 1bcf11304d - Update coq to 8.3pl1 ... - Remove obsoleted patch (fixed in dist)		2011-02-12 12:30:08 +00:00
..
files	- Update coq to 8.3pl1	2011-02-12 12:30:08 +00:00
distinfo	- Update coq to 8.3pl1	2011-02-12 12:30:08 +00:00
Makefile	- Update coq to 8.3pl1	2011-02-12 12:30:08 +00:00
pkg-descr
pkg-plist	- Update coq to 8.3	2010-11-09 07:09:26 +00:00