Opened 17 years ago

Closed 17 years ago

#11953 closed defect (fixed)

[UPDATE] lang/coq to 8.1 (maintainer)

Reported by: reilles@… Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version:
Keywords: Cc:
Port:

Description

Hi,

I would like to update hte lang/coq port to 8.1, with the attached patch

Thanks, antoine

Attachments (1)

coq.patch (819 bytes) - added by reilles@… 17 years ago.

Download all attachments as: .zip

Change History (2)

Changed 17 years ago by reilles@…

Attachment: coq.patch added

comment:1 Changed 17 years ago by roederja

Resolution: fixed
Status: newclosed

Committed in r25215. Thanks

Note: See TracTickets for help on using tickets.