Opened 7 years ago

Closed 7 years ago

#41877 closed update (fixed)

coq @8.4pl2_1: update to 8.4pl3

Reported by: pmetzger (Perry E. Metzger) Owned by: larryv (Lawrence Velázquez)
Priority: Normal Milestone:
Component: ports Version:
Keywords: haspatch Cc:
Port: coq

Description

The enclosed patch will upgrade coq to 8.4pl3

Attachments (1)

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

Download all attachments as: .zip

Change History (3)

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

Attachment: coq.patch added

Patch to upgrade the Portfile

comment:1 Changed 7 years ago by larryv (Lawrence Velázquez)

Keywords: maintainer removed
Owner: changed from macports-tickets@… to larryv@…
Status: newassigned
Summary: Upgrade coq to 8.4pl3coq @8.4pl2_1: update to 8.4pl3
Version: 2.2.1

Thanks. This port doesn’t currently have a maintainer; would you be interested in volunteering?

comment:2 Changed 7 years ago by larryv (Lawrence Velázquez)

Resolution: fixed
Status: assignedclosed

The checksums in your patch were incorrect.

r115010:115013

Note: See TracTickets for help on using tickets.