[Bug 286814] math/coq: Rename to math/rocq and update to 9.0.0

In reply to: bugzilla-noreply_a_freebsd.org: "[Bug 286814] math/coq: Rename to math/rocq and update to 9.0.0"
Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: <bugzilla-noreply_at_freebsd.org>
Date: Thu, 18 Dec 2025 01:47:11 UTC

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=286814

--- Comment #4 from wen <wenheping2000@hotmail.com> ---
(In reply to Mark Linimon from comment #3)
I plan to import rocq and keep Coq for a while—what do you think?

-- 
You are receiving this mail because:
You are the assignee for the bug.