Opened 12 years ago

Last modified 12 years ago

#37425 closed update

coq: update to 8.4pl1 — at Version 2

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

Description (last modified by ryandesign (Ryan Carsten Schmidt))

Enclosed please find a patch to:

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

Change History (3)

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

Attachment: coq-portfile-patch​ added

Patch to upgrade the Portfile

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

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

Thanks.

The revision line should be removed when increasing the version.

Antoine, is this ok to commit?

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

Description: modified (diff)
Note: See TracTickets for help on using tickets.