Opened 7 years ago

Closed 7 years ago

#32074 closed update (fixed)

coq: update to 8.3pl2

Reported by: pmetzger (Perry E. Metzger) Owned by: reilles@…
Priority: Normal Milestone:
Component: ports Version:
Keywords: Cc:
Port: coq

Description

Coq 8.3pl2 has been out for some time -- the port should probably be updated.

Attachments (1)

Portfile.diff (891 bytes) - added by pmetzger (Perry E. Metzger) 7 years ago.
patch to Portfile

Download all attachments as: .zip

Change History (6)

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

Cc: perry@… added

Cc Me!

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

Cc: perry@… removed
Owner: changed from macports-tickets@… to reilles@…
Port: coq added; Coq removed
Summary: Please upgrade Coq to 8.3pl2coq: update to 8.3pl2
Version: 2.0.3

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

I've done the upgrade in my own tree -- I am attaching the diff.

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

Attachment: Portfile.diff added

patch to Portfile

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

Any chance of having this patch applied? It is really simple and works fine.

comment:5 Changed 7 years ago by drkp (Dan Ports)

Resolution: fixed
Status: newclosed

Applied in r87727

Note: See TracTickets for help on using tickets.