Bug 120987 - [MAINTAINER] math/proofgeneral: update to 3.7
Summary: [MAINTAINER] math/proofgeneral: update to 3.7
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: Rong-En Fan
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-02-23 11:30 UTC by Timothy Bourke
Modified: 2008-04-04 13:20 UTC (History)
0 users

See Also:

Attachments
proofgeneral-xemacs-3.7_1.patch (74.26 KB, patch)
2008-02-23 11:30 UTC, Timothy Bourke 		no flags Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Timothy Bourke 2008-02-23 11:30:01 UTC 
- 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
Comment 1 Edwin Groothuis freebsd_committer freebsd_triage 2008-02-23 11:48:02 UTC 
Responsible Changed
From-To: freebsd-ports-bugs->anray

anray@ wants this category PRs (via the GNATS Auto Assign Tool)
Comment 2 Rong-En Fan freebsd_committer freebsd_triage 2008-04-04 07:16:33 UTC 
Responsible Changed
From-To: anray->rafan

I will take care of this due to 120997 and 121000. Agreed by anray@.
Comment 3 dfilter service freebsd_committer freebsd_triage 2008-04-04 13:13:37 UTC 
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"
Comment 4 Rong-En Fan freebsd_committer freebsd_triage 2008-04-04 13:16:26 UTC 
State Changed
From-To: open->closed

Committed. Thanks!