Opened 18 years ago

Closed 18 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@… 18 years ago.

Download all attachments as: .zip

Change History (2)

Changed 18 years ago by reilles@…

Attachment: coq.patch​ added

comment:1 Changed 18 years ago by roederja

Resolution: → fixed
Status: new → closed

Committed in r25215. Thanks

Note: See TracTickets for help on using tickets.