Opened 10 years ago

Closed 10 years ago

#43770 closed defect (fixed)

Patch to upgrade Coq to 8.4pl4

Reported by: pmetzger (Perry E. Metzger) Owned by: ryandesign (Ryan Carsten Schmidt)
Priority: Normal Milestone:
Component: ports Version: 2.2.1
Keywords: haspatch Cc:
Port: coq

Description

Enclosed please find a patch to upgrade Coq to 8.4pl4 -- it only alters the version number and the checksums.

By the way, I'm the person who always submits these upgrade patches and I believe someone was supposed to make me the maintainer of the port, though that doesn't seem to have happened.

Attachments (1)

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

Download all attachments as: .zip

Change History (3)

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

Attachment: coq-patch​ added

Patch to upgrade the Portfile

comment:1 Changed 10 years ago by ryandesign (Ryan Carsten Schmidt)

Owner: changed from macports-tickets@… to ryandesign@…
Status: new → assigned

Thanks.

comment:2 Changed 10 years ago by ryandesign (Ryan Carsten Schmidt)

Resolution: → fixed
Status: assigned → closed

Thanks for the update and for volunteering to maintain. I've made these changes in r120266.

Note: See TracTickets for help on using tickets.