#13940 closed update (fixed)
RFE: coq 8.1pl3
| Reported by: | wss@… | Owned by: | ryandesign (Ryan Carsten Schmidt) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.6.0 |
| Keywords: | coq | Cc: | reilles@… |
| Port: |
Description
There's a new version of the coq theorem proving tool out. I've attached a patch that managed to build on my machine.
Attachments (1)
Change History (7)
Changed 16 years ago by wss@…
comment:1 Changed 16 years ago by jmpp@…
| Milestone: | MacPorts base enhancements → Port Updates |
|---|---|
| Type: | defect → enhancement |
comment:2 Changed 16 years ago by jmroot (Joshua Root)
| Cc: | reilles@… added; wss@… removed |
|---|
comment:3 Changed 16 years ago by ryandesign (Ryan Carsten Schmidt)
| Owner: | changed from macports-tickets@… to ryandesign@… |
|---|---|
| Status: | new → assigned |
Since the maintainer hasn't responded in over 72 hours, I'll take this ticket.
comment:4 Changed 16 years ago by ryandesign (Ryan Carsten Schmidt)
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
Updated to 8.1pl3 in r36889. Thanks for reporting!
comment:5 Changed 15 years ago by jmroot (Joshua Root)
| Type: | enhancement → update |
|---|
Note: See
TracTickets for help on using
tickets.
Cc maintainer.