Bug 126066 - [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
Summary: [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
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: freebsd-ports-bugs (Nobody)
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2008-07-29 07:40 UTC by Timothy Bourke
Modified: 2008-08-15 02:10 UTC (History)
0 users

See Also:


Attachments
proofgeneral-xemacs-3.7.1.patch (6.48 KB, patch)
2008-07-29 07:40 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-07-29 07:40:01 UTC
Added file(s):
- files/patch-isar-interface

Generated with FreeBSD Port Tools 0.77
Comment 1 Timothy Bourke 2008-07-29 07:52:20 UTC
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)
Comment 2 Timothy Bourke 2008-07-29 08:00:46 UTC
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)
Comment 3 Edwin Groothuis freebsd_committer 2008-07-29 08:15:19 UTC
Responsible Changed
From-To: freebsd-ports-bugs->anray

anray@ wants this category PRs (via the GNATS Auto Assign Tool)
Comment 4 Pav Lucistnik freebsd_committer 2008-07-29 16:39:38 UTC
Responsible Changed
From-To: anray->freebsd-ports-bugs

not really emacs thing
Comment 5 Edwin Groothuis freebsd_committer 2008-08-15 02:03:30 UTC
State Changed
From-To: open->closed

Committed, thanks!
Comment 6 dfilter service freebsd_committer 2008-08-15 02:03:31 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"