Max Brazhnikov 630ca2285f Bump PORTREVISION after open-mofit update		2011-05-02 12:44:53 +00:00
..
files	- Update coq to 8.3pl1	2011-02-12 12:30:08 +00:00
distinfo	Update coq to 8.3.2	2011-04-25 17:48:54 +00:00
Makefile	Bump PORTREVISION after open-mofit update	2011-05-02 12:44:53 +00:00
pkg-descr
pkg-plist	- Update coq to 8.3	2010-11-09 07:09:26 +00:00