Opened 10 years ago

Closed 9 years ago

#26928 closed update (duplicate)

update coq to v8.3

Reported by: julien@… Owned by: reilles@…
Priority: Normal Milestone:
Component: ports Version:
Keywords: haspatch Cc:
Port: coq

Description

Coq 8.3 is out. Here is an updated portfile.

Attachments (1)

patch-portfile-coq-8.3.patch (661 bytes) - added by julien@… 10 years ago.
patch to update to v8.3

Download all attachments as: .zip

Change History (4)

Changed 10 years ago by julien@…

patch to update to v8.3

comment:1 Changed 10 years ago by jmroot (Joshua Root)

Keywords: haspatch added
Owner: changed from macports-tickets@… to reilles@…
Version: 1.9.1

Please remember to cc the maintainer.

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

A newer update is in #28843.

comment:3 Changed 9 years ago by jmroot (Joshua Root)

Resolution: duplicate
Status: newclosed
Note: See TracTickets for help on using tickets.