Ticket #36005 (closed update: fixed)
coq: update to 8.4
| Reported by: | perry@… | Owned by: | reilles@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 2.1.2 |
| Keywords: | haspatch | Cc: | cal@… |
| Port: | coq |
Description
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.
Attachments
Change History
comment:1 follow-up: ↓ 2 Changed 9 months ago by ryandesign@…
- 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
The revision should drop to zero.
Does this version of coq support ocaml4? if so the dependency should be updated.
comment:2 in reply to: ↑ 1 Changed 8 months ago by perry@…
Replying to ryandesign@…:
The revision should drop to zero.
Does this version of coq support ocaml4? if so the dependency should be updated.
So far as I can tell, the ocaml 3 dependency still seems to be correct. I'll make some inquiries about what the issue is, but could we update the package in the meanwhile? I've been running it for a while now and it works very well.
Note: See
TracTickets for help on using
tickets.
Patch against Portfile