Opened 8 years ago

Closed 8 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) 8 years ago.

Download all attachments as: .zip

Change History (4)

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

Attachment: coq-Portfile-patch​ added

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

Keywords: haspatch maintainer added

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

Cc: khindenburg@… added

Cc Me!

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

Resolution: → fixed
Status: new → closed

done r145061

Note: See TracTickets for help on using tickets.