Bug 263044
| Summary: | math/coq: upgrade to 8.15.1 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Product: | Ports & Packages | Reporter: | Thierry Thomas <thierry> | ||||||
| Component: | Individual Port(s) | Assignee: | Hiroki Sato <hrs> | ||||||
| Status: | Closed Overcome By Events | ||||||||
| Severity: | Affects Many People | CC: | alster, danfe, thierry | ||||||
| Priority: | --- | Flags: | bugzilla:
maintainer-feedback?
(hrs) |
||||||
| Version: | Latest | ||||||||
| Hardware: | Any | ||||||||
| OS: | Any | ||||||||
| See Also: | https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=262784 | ||||||||
| Bug Depends on: | |||||||||
| Bug Blocks: | 262781 | ||||||||
| Attachments: |
|
||||||||
Remark: version 8.6 had a dependency on emacs, and math/coq produced several packages for the flavors of emacs, but 8.15 does not depend on emacs anymore. Created attachment 233137 [details]
Upgrade to 8.15.1
Rebase the submitted patch after the modification committed by danfe.
Overcome by events, 8.19 is already in the tree. |
Created attachment 232943 [details] Upgrade to 8.15.1 Upgrade Coq, in order to chase OCaml and fix the failure reported in PR 262781. Important note: all the PR related to Ocaml ports must be committed at the same time!