freebsd-ports/math/coq
Johan van Selst f5a5f98bee - Due to depency updates, camlp5 (fresh port) is now required as well:
Include this dependency and bump portrevision
2008-04-16 22:10:53 +00:00
..
distinfo - Update to 8.1pl3 2008-04-06 17:40:47 +00:00
Makefile - Due to depency updates, camlp5 (fresh port) is now required as well: 2008-04-16 22:10:53 +00:00
pkg-descr
pkg-plist - Update to 8.1pl3 2008-04-06 17:40:47 +00:00