On Mon, Dec 05, 2005 at 09:16:08AM +0000, Volker Stolz wrote: > vs 2005-12-05 09:16:08 UTC > > FreeBSD ports repository > > Modified files: > math/coq Makefile > Log: > Enable IDE by default.
Should probably have a portrevision bump. Kris
pgpOMBeNCGkDB.pgp
Description: PGP signature
