Opened 8 years ago

Closed 8 years ago

#51867 closed update (fixed)

Update coq to 8.5p2 -- maintainer patch enclosed

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

Description

Please upgrade coq to 8.5pl2. I'm the maintainer and have enclosed a patch.

Attachments (1)

coq.patch (876 bytes) - added by pmetzger (Perry E. Metzger) 8 years ago.
Patch to upgrade the Portfile

Download all attachments as: .zip

Change History (2)

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

Attachment: coq.patch added

Patch to upgrade the Portfile

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

Resolution: fixed
Status: newclosed

Thank you for your patch. I have committed it in r150370.

Note: See TracTickets for help on using tickets.