mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-18 19:49:40 +00:00
Code Issues Releases Activity
0d1bdc9be5
freebsd-ports/math/proofgeneral
History
Edwin Groothuis 090059a210 Bump portrevision due to upgrade of devel/gettext. 
The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)
2008-06-06 14:17:21 +00:00
..
files - Remove empty files 2008-04-10 11:56:28 +00:00
distinfo - Update to 3.7 2008-04-04 12:13:33 +00:00
Makefile Bump portrevision due to upgrade of devel/gettext. 2008-06-06 14:17:21 +00:00
pkg-descr
pkg-plist - Update to 3.7 2008-04-04 12:13:33 +00:00