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

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 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 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 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 2008-04-04 13:16:26 UTC
State Changed
From-To: open->closed

Committed. Thanks!