Date: Fri, 15 Aug 2008 01:10:06 GMT From: dfilter@FreeBSD.ORG (dfilter service) To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/126066: commit references a PR Message-ID: <200808150110.m7F1A6wu042568@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/126066; it has been noted by GNATS.
From: dfilter@FreeBSD.ORG (dfilter service)
To: bug-followup@FreeBSD.org
Cc:
Subject: Re: ports/126066: commit references a PR
Date: Fri, 15 Aug 2008 01:03:31 +0000 (UTC)
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"
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200808150110.m7F1A6wu042568>