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: new → closed

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

Last edited 12 years ago by neverpanic (Clemens Lang) (previous) (diff)
Note: See TracTickets for help on using tickets.