Bug 200409 - [math/coq] Update to 8.4pl6
Summary: [math/coq] Update to 8.4pl6
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Only Me
Assignee: Johan van Selst
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-05-23 09:34 UTC by Yuri Victorovich
Modified: 2015-05-23 10:07 UTC (History)
0 users

See Also:
bugzilla: maintainer-feedback? (johans)


Attachments
patch (1.43 KB, patch)
2015-05-23 09:34 UTC, Yuri Victorovich
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Yuri Victorovich freebsd_committer 2015-05-23 09:34:37 UTC
Created attachment 157072 [details]
patch
Comment 1 Johan van Selst freebsd_committer 2015-05-23 10:07:19 UTC
Committed, thanks.
Comment 2 commit-hook freebsd_committer 2015-05-23 10:07:51 UTC
A commit references this bug:

Author: johans
Date: Sat May 23 10:06:55 UTC 2015
New revision: 387123
URL: https://svnweb.freebsd.org/changeset/ports/387123

Log:
  Update Coq to 8.4pl6

  PR:		200409
  Submitted by:	yuri@rawbw.com

Changes:
  head/math/coq/Makefile
  head/math/coq/distinfo
  head/math/coq/pkg-plist