mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-20 00:21:35 +00:00
Code Issues Releases Activity
bd7f7d69f0
freebsd-ports/math/coq
History
Johan van Selst 84e04ad3d6 Update to 8.1.1 (bugfix release)
2007-07-30 07:36:01 +00:00
..
distinfo Update to 8.1.1 (bugfix release) 2007-07-30 07:36:01 +00:00
Makefile Update to 8.1.1 (bugfix release) 2007-07-30 07:36:01 +00:00
pkg-descr
pkg-plist Update to 8.1.1 (bugfix release) 2007-07-30 07:36:01 +00:00