Pav Lucistnik dc7c8ff64b - Add optional CoqIde support (depends on lablgtk2) ... - Correct PORTVERSION to match actual source version - Cosmetics PR: ports/73634 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)		2004-11-08 21:57:29 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist