[Bug 200409] [math/coq] Update to 8.4pl6
bugzilla-noreply at freebsd.org
bugzilla-noreply at freebsd.org
Sat May 23 09:34:38 UTC 2015
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=200409
Bug ID: 200409
Summary: [math/coq] Update to 8.4pl6
Product: Ports & Packages
Version: Latest
Hardware: Any
OS: Any
Status: New
Severity: Affects Only Me
Priority: ---
Component: Individual Port(s)
Assignee: johans at FreeBSD.org
Reporter: yuri at rawbw.com
Flags: maintainer-feedback?(johans at FreeBSD.org)
Assignee: johans at FreeBSD.org
Created attachment 157072
--> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=157072&action=edit
patch
--
You are receiving this mail because:
You are the assignee for the bug.
More information about the freebsd-ports-bugs
mailing list