Added file(s): - files/patch-isar-interface Generated with FreeBSD Port Tools 0.77
Sorry, this should have been a maintainer-change, with subject math/proofgeneral. Please commit it together with ports/126067 (math/isabelle) ports/126068 (lang/polyml)
Sorry this entry should have been submitted as a maintainer update to math/proofgeneral. Please commit it with: ports/126067 (math/isabelle) ports/126068 (lang/polyml)
Responsible Changed From-To: freebsd-ports-bugs->anray anray@ wants this category PRs (via the GNATS Auto Assign Tool)
Responsible Changed From-To: anray->freebsd-ports-bugs not really emacs thing
State Changed From-To: open->closed Committed, thanks!
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@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 _______________________________________________ cvs-all@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/cvs-all To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"