Bug 263044 - math/coq: upgrade to 8.15.1
Summary: math/coq: upgrade to 8.15.1
Status: Closed Overcome By Events
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Many People
Assignee: Hiroki Sato
URL:
Keywords:
Depends on:
Blocks: 262781
  Show dependency tree / graph
 
Reported: 2022-04-04 18:03 UTC by Thierry Thomas
Modified: 2024-06-01 09:12 UTC (History)
3 users (show)

See Also:
bugzilla: maintainer-feedback? (hrs)

Attachments
Upgrade to 8.15.1 (403.24 KB, patch)
2022-04-04 18:03 UTC, Thierry Thomas 		no flags Details | Diff
Upgrade to 8.15.1 (404.15 KB, patch)
2022-04-10 20:35 UTC, Thierry Thomas 		no flags Details | Diff
Show Obsolete (1) View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Thierry Thomas freebsd_committer freebsd_triage 2022-04-04 18:03:21 UTC 
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!
Comment 1 Thierry Thomas freebsd_committer freebsd_triage 2022-04-04 18:16:25 UTC 
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.
Comment 2 Thierry Thomas freebsd_committer freebsd_triage 2022-04-10 20:35:57 UTC 
Created attachment 233137 [details]
Upgrade to 8.15.1

Rebase the submitted patch after the modification committed by danfe.
Comment 3 Älven 2024-05-27 00:45:44 UTC 
Overcome by events, 8.19 is already in the tree.