cvs commit: ports/math/proofgeneral Makefile distinfo pkg-plist
ports/math/proofgeneral/files patch-Makefile patch-isar-interface
Edwin Groothuis
edwin at FreeBSD.org
Fri Aug 15 01:03:23 UTC 2008
edwin 2008-08-15 01:03:23 UTC
FreeBSD ports repository
Modified files:
math/proofgeneral Makefile distinfo pkg-plist
math/proofgeneral/files patch-Makefile
Added files:
math/proofgeneral/files patch-isar-interface
Log:
[MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
PR: ports/126066
Submitted by: Timothy Bourke <timbob at bigpond.com>
Revision Changes Path
1.21 +5 -4 ports/math/proofgeneral/Makefile
1.7 +3 -3 ports/math/proofgeneral/distinfo
1.7 +9 -5 ports/math/proofgeneral/files/patch-Makefile
1.1 +11 -0 ports/math/proofgeneral/files/patch-isar-interface (new)
1.10 +6 -0 ports/math/proofgeneral/pkg-plist
More information about the cvs-ports
mailing list