Version updates for rocq (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/rocq/#9.1.1_1https://pkgstory.dev/homebrew-formula/rocq/#9.1.1_1rocq updated to 9.1.1_1Sat, 21 Mar 2026 21:17:33 GMThttps://pkgstory.dev/homebrew-formula/rocq/#9.1.1https://pkgstory.dev/homebrew-formula/rocq/#9.1.1rocq updated to 9.1.1Mon, 09 Feb 2026 17:57:30 GMThttps://pkgstory.dev/homebrew-formula/rocq/#9.1.0https://pkgstory.dev/homebrew-formula/rocq/#9.1.0rocq updated to 9.1.0Sun, 05 Oct 2025 03:09:07 GMThttps://pkgstory.dev/homebrew-formula/rocq/#9.0.0_1https://pkgstory.dev/homebrew-formula/rocq/#9.0.0_1rocq updated to 9.0.0_1Thu, 04 Sep 2025 13:31:21 GMThttps://pkgstory.dev/homebrew-formula/rocq/#9.0.0https://pkgstory.dev/homebrew-formula/rocq/#9.0.0rocq updated to 9.0.0Mon, 24 Mar 2025 02:04:13 GMT