Opened 17 years ago

Closed 16 years ago

Last modified 16 years ago

#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)

coq.diff​ (917 bytes) - added by wss@… 17 years ago.

Download all attachments as: .zip

Change History (7)

Changed 17 years ago by wss@…

Attachment: coq.diff​ added

comment:1 Changed 17 years ago by jmpalacios (Juan Manuel Palacios)

Milestone: MacPorts base enhancements → Port Updates
Type: defect → enhancement

comment:2 Changed 17 years ago by jmroot (Joshua Root)

Cc: reilles@… added; wss@… removed

Cc maintainer.

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 16 years ago by jmroot (Joshua Root)

Type: enhancement → update

comment:6 Changed 16 years ago by (none)

Milestone: Port Updates

Milestone Port Updates deleted

Note: See TracTickets for help on using tickets.