Opened 9 years ago

Closed 9 years ago

#50428 closed update (fixed)

Update coq to 8.5 -- 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: kurthindenburg (Kurt Hindenburg)
Port: coq

Description

Enclosed find a patch from me (the maintainer) to update Coq to the newly released 8.5

Attachments (1)

coq-Portfile-patch (1.3 KB) - added by pmetzger (Perry E. Metzger) 9 years ago.

Download all attachments as: .zip

Change History (4)

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

Attachment: coq-Portfile-patch added

comment:1 Changed 9 years ago by Ionic (Mihai Moldovan)

Keywords: haspatch maintainer added

comment:2 Changed 9 years ago by kurthindenburg (Kurt Hindenburg)

Cc: khindenburg@… added

Cc Me!

comment:3 Changed 9 years ago by kurthindenburg (Kurt Hindenburg)

Resolution: fixed
Status: newclosed

done r145061

Note: See TracTickets for help on using tickets.