Ticket #36005 (closed update: fixed)
coq: update to 8.4
|Reported by:||perry@…||Owned by:||reilles@…|
Coq 8.4 was released a few weeks ago. The update is quite simple -- just bumping the version number and the checksums. I've enclosed a patch.
- Keywords haspatch added
- Owner changed from macports-tickets@… to reilles@…
- Summary changed from Please upgrade Coq to 8.4 to coq: update to 8.4
Note: See TracTickets for help on using tickets.