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