Opened 9 years ago

Closed 9 years ago

#48097 closed update (fixed)

coq @8.4pl5_0: update to 8.4pl6

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

Description

Please upgrade coq to 8.4pl6. I'm the port maintainer and have enclosed a patch for the portfile. The patch only bumps the version number and the checksum, nothing else is needed.

Attachments (1)

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

Download all attachments as: .zip

Change History (3)

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

Attachment: coq-Portfile.patch​ added

Patch to upgrade the Portfile

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

Owner: changed from macports-tickets@… to larryv@…
Status: new → assigned
Summary: Upgrade coq to 8.4pl6 -- maintainer patch enclosed → coq @8.4pl5_0: update to 8.4pl6
Version: 2.3.3

Thanks!

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

Resolution: → fixed
Status: assigned → closed

r137763

Note: See TracTickets for help on using tickets.