[Bug 293506] math/coq: Update to 9.1.1
- In reply to: bugzilla-noreply_a_freebsd.org: "[Bug 293506] math/coq: Update to 9.1.1"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sat, 28 Feb 2026 19:26:20 UTC
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=293506
Laurent Chardon <laurent.chardon@gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Depends on| |286813
Referenced Bugs:
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=286813
[Bug 286813] devel/ocaml-dune: Update to 3.8.0
--
You are receiving this mail because:
You are the assignee for the bug.