Bug 105383 - Update port: math/proofgeneral (patch pkg-plist)
Summary: Update port: math/proofgeneral (patch pkg-plist)
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: Andrey Slusar
Depends on:
Reported: 2006-11-10 18:20 UTC by Timothy Bourke
Modified: 2006-11-11 19:20 UTC (History)
0 users

See Also:

proofgeneral.diff (1.92 KB, patch)
2006-11-10 18:20 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 2006-11-10 18:20:19 UTC
Fix failure on the pointyhat:
Comment 1 Edwin Groothuis freebsd_committer 2006-11-10 18:20:33 UTC
Responsible Changed
From-To: freebsd-ports-bugs->anray

anray@ wants to have elisp PRs
Comment 2 dfilter service freebsd_committer 2006-11-11 19:15:37 UTC
anray       2006-11-11 19:15:29 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile distinfo pkg-plist 
  Fix plist and unbroken port.
  PR:             ports/105383
  Reported by:    pointyhat
  Submitted by:   Timothy Bourke (maintainer)
  Revision  Changes    Path
  1.8       +2 -3      ports/math/proofgeneral/Makefile
  1.4       +1 -0      ports/math/proofgeneral/distinfo
  1.6       +0 -1      ports/math/proofgeneral/pkg-plist
cvs-all@freebsd.org mailing list
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
Comment 3 Andrey Slusar freebsd_committer 2006-11-11 19:16:06 UTC
State Changed
From-To: open->closed

Committed. Thanks!