New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #11953 (closed defect: fixed)

Opened 6 years ago

Last modified 6 years ago

[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

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

Change History

Changed 6 years ago by reilles@…

comment:1 Changed 6 years ago by jann@…

  • Status changed from new to closed
  • Resolution set to fixed

Committed in r25215. Thanks

Note: See TracTickets for help on using tickets.