[Bug 263044] math/coq: upgrade to 8.15.1
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 04 Apr 2022 18:03:21 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=263044 Bug ID: 263044 Summary: math/coq: upgrade to 8.15.1 Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Severity: Affects Many People Priority: --- Component: Individual Port(s) Assignee: hrs@FreeBSD.org Reporter: thierry@FreeBSD.org Flags: maintainer-feedback?(hrs@FreeBSD.org) Assignee: hrs@FreeBSD.org Created attachment 232943 --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=232943&action=edit 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! -- You are receiving this mail because: You are the assignee for the bug.