Opened 7 years ago

Closed 6 years ago

Last modified 6 years ago

#37425 closed update (fixed)

coq: update to 8.4pl1

Reported by: pmetzger (Perry E. Metzger) Owned by: reilles@…
Priority: Normal Milestone:
Component: ports Version: 2.1.2
Keywords: haspatch Cc: ryandesign (Ryan Schmidt), ecronin (Eric Cronin)
Port: coq

Description (last modified by ryandesign (Ryan Schmidt))

Enclosed please find a patch to:

  1. Upgrade Coq to 8.4pl1
  2. Remove the no longer needed dependency on OCaml3

Attachments (1)

coq-portfile-patch (1.6 KB) - added by pmetzger (Perry E. Metzger) 7 years ago.
Patch to upgrade the Portfile

Download all attachments as: .zip

Change History (6)

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

Attachment: coq-portfile-patch added

Patch to upgrade the Portfile

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

Cc: ryandesign@… added
Keywords: haspatch added
Owner: changed from macports-tickets@… to reilles@…
Summary: Patch to upgrade Coq to 8.4pl1coq: update to 8.4pl1

Thanks.

The revision line should be removed when increasing the version.

Antoine, is this ok to commit?

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

Description: modified (diff)

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

Would it be possible to get this patch applied? It has been open for a while...

comment:4 Changed 6 years ago by ecronin (Eric Cronin)

Resolution: fixed
Status: newclosed

Maintainer timeout. r102359

comment:5 Changed 6 years ago by ryandesign (Ryan Schmidt)

Cc: ecronin@… added

Don't change it now, but you didn't remove the revision line as mentioned above.

Note: See TracTickets for help on using tickets.