Bug 120987
| Summary: | [MAINTAINER] math/proofgeneral: update to 3.7 | ||||||
|---|---|---|---|---|---|---|---|
| Product: | Ports & Packages | Reporter: | Timothy Bourke <timbob> | ||||
| Component: | Individual Port(s) | Assignee: | Rong-En Fan <rafan> | ||||
| Status: | Closed FIXED | ||||||
| Severity: | Affects Only Me | ||||||
| Priority: | Normal | ||||||
| Version: | Latest | ||||||
| Hardware: | Any | ||||||
| OS: | Any | ||||||
| Attachments: |
|
||||||
Responsible Changed From-To: freebsd-ports-bugs->anray anray@ wants this category PRs (via the GNATS Auto Assign Tool) Responsible Changed From-To: anray->rafan I will take care of this due to 120997 and 121000. Agreed by anray@. rafan 2008-04-04 12:13:33 UTC
FreeBSD ports repository
Modified files:
math/proofgeneral Makefile distinfo pkg-plist
math/proofgeneral/files patch-Makefile patch-doc-Makefile.doc
patch-isa_isabelle-system.el
pkg-message.in
Log:
- Update to 3.7
PR: ports/120987
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
Revision Changes Path
1.19 +3 -3 ports/math/proofgeneral/Makefile
1.6 +3 -3 ports/math/proofgeneral/distinfo
1.6 +51 -42 ports/math/proofgeneral/files/patch-Makefile
1.3 +10 -10 ports/math/proofgeneral/files/patch-doc-Makefile.doc
1.3 +0 -13 ports/math/proofgeneral/files/patch-isa_isabelle-system.el
1.2 +1 -1 ports/math/proofgeneral/files/pkg-message.in
1.9 +525 -505 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"
State Changed From-To: open->closed Committed. Thanks! |
- Update to 3.7 Added file(s): - files/patch-bin-proofgeneral Removed file(s): - files/patch-isa_isabelle-system.el This maintainer-update is accompanied by two others: lang/polyml math/isabelle Ideally, the three would be committed together. Generated with FreeBSD Port Tools 0.77