Ticket #11953 (closed defect: fixed)
[UPDATE] lang/coq to 8.1 (maintainer)
|Reported by:||reilles@…||Owned by:||macports-tickets@…|
I would like to update hte lang/coq port to 8.1, with the attached patch
Note: See TracTickets for help on using tickets.