Opened 14 years ago
Closed 13 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)
Change History (4)
Changed 14 years ago by julien@…
| Attachment: | patch-portfile-coq-8.3.patch added |
|---|
comment:1 Changed 14 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:3 Changed 13 years ago by jmroot (Joshua Root)
| Resolution: | → duplicate |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
patch to update to v8.3