* Add support for CoqIde * Bump PORTVERSION to 8.0p1 to indicate that the distribution is at version 8.0pl1 and not 8.0 * Move @dirrm tags right after directory contents instead of at end of pkg-plist * Sort MAN1 section in Makefile
State Changed From-To: open->closed Committed, thanks!