Opened 16 years ago

Closed 16 years ago

Last modified 16 years ago

#18536 closed update (fixed)

Upgrade to Coq 8.2

Reported by: wss@… Owned by: alakazam@…
Priority: Normal Milestone:
Component: ports Version: 1.7.0
Keywords: Cc:
Port: coq

Description

coq version 8.2 has been released recently:

​http://coq.inria.fr/distrib-eng.html

Upgrading the Portfile should be straightforward. I've attached an (untested) patch that should do the trick.

Attachments (1)

patch.diff​ (377 bytes) - added by wss@… 16 years ago.
Coq 8.2 patch

Download all attachments as: .zip

Change History (7)

Changed 16 years ago by wss@…

Attachment: patch.diff​ added

Coq 8.2 patch

comment:1 Changed 16 years ago by wss@…

Cc: wss@… added

Cc Me!

comment:2 Changed 16 years ago by mf2k (Frank Schima)

Cc: wss@… removed
Owner: changed from macports-tickets@… to reilles@…
Port: coq added

comment:3 Changed 16 years ago by alakazam@…

Owner: changed from reilles@… to alakazam@…
Status: new → assigned

Per wss' request, I'll commit this update. Since he's provided patches for the recent coq Portfile updates, I've suggested he contact the current maintainer regarding a possible transfer of maintainership.

comment:4 Changed 16 years ago by alakazam@…

Resolution: → fixed
Status: assigned → closed

Updated in r47219 (maintainer timeout).

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.