Opened 12 years ago

Closed 12 years ago

Last modified 12 years ago

#38696 closed update (fixed)

Please update coq to 8.4pl2

Reported by: pmetzger (Perry E. Metzger) Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 2.1.3
Keywords: Cc:
Port: coq

Description

Please update coq to the latest version, 8.4pl2.

A patch to the Portfile is enclosed.

Please note that although there is a maintainer listed for this port, they haven't touched it in a very long time, and I've been the one submitting patches to maintain the port for quite a while now. I've already filed a ticket noting that the port seems to be abandoned. See https://trac.macports.org/ticket/38042 for the port abandoned ticket.

Attachments (1)

coq.patch (801 bytes) - added by pmetzger (Perry E. Metzger) 12 years ago.
Portfile patch

Download all attachments as: .zip

Change History (2)

Changed 12 years ago by pmetzger (Perry E. Metzger)

Attachment: coq.patch added

Portfile patch

comment:1 Changed 12 years ago by neverpanic (Clemens Lang)

Resolution: fixed
Status: newclosed

r104985. I guess 8 weeks is enough of a maintainer timeout.

Version 0, edited 12 years ago by neverpanic (Clemens Lang) (next)
Note: See TracTickets for help on using tickets.