Opened 9 years ago
Closed 9 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)
Change History (4)
Changed 9 years ago by pmetzger (Perry E. Metzger)
| Attachment: | coq-Portfile-patch added |
|---|
comment:1 Changed 9 years ago by Ionic (Mihai Moldovan)
| Keywords: | haspatch maintainer added |
|---|
comment:2 Changed 9 years ago by kurthindenburg (Kurt Hindenburg)
| Cc: | khindenburg@… added |
|---|
comment:3 Changed 9 years ago by kurthindenburg (Kurt Hindenburg)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
done r145061
Note: See
TracTickets for help on using
tickets.
Cc Me!