[Bug 293506] math/coq: Update to 9.1.1

From: <bugzilla-noreply_at_freebsd.org>
Date: Sat, 28 Feb 2026 19:23:45 UTC 
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=293506

            Bug ID: 293506
           Summary: math/coq: Update to 9.1.1
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
               URL: https://rocq-prover.org/doc/v9.1/refman/changes.html#c
                    hanges-in-9-1-1
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: ports-bugs@FreeBSD.org
          Reporter: laurent.chardon@gmail.com

Created attachment 268423
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=268423&action=edit
Update math/coq 8.20.1 to math/rocq 9.1.1

Update coq from 8.20.1 to 9.1.1
Rename coq to rocq to follow upstream name change
Take maintainership

portlint:   OK
portclippy: OK
poudriere:  OK

This version of rocq requires an update to devel/ocaml-dune

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