1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-28 01:06:17 +00:00
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