Version updates for rocq-elpi (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/rocq-elpi/#3.4.0https://pkgstory.dev/homebrew-formula/rocq-elpi/#3.4.0rocq-elpi updated to 3.4.0Tue, 19 May 2026 13:02:34 GMThttps://pkgstory.dev/homebrew-formula/rocq-elpi/#3.3.1_1https://pkgstory.dev/homebrew-formula/rocq-elpi/#3.3.1_1rocq-elpi updated to 3.3.1_1Sat, 21 Mar 2026 21:20:52 GMThttps://pkgstory.dev/homebrew-formula/rocq-elpi/#3.3.1https://pkgstory.dev/homebrew-formula/rocq-elpi/#3.3.1rocq-elpi updated to 3.3.1Thu, 12 Mar 2026 14:51:18 GMThttps://pkgstory.dev/homebrew-formula/rocq-elpi/#3.2.0_2https://pkgstory.dev/homebrew-formula/rocq-elpi/#3.2.0_2rocq-elpi updated to 3.2.0_2Mon, 09 Feb 2026 20:13:27 GMThttps://pkgstory.dev/homebrew-formula/rocq-elpi/#3.2.0_1https://pkgstory.dev/homebrew-formula/rocq-elpi/#3.2.0_1rocq-elpi updated to 3.2.0_1Sun, 05 Oct 2025 04:02:45 GMThttps://pkgstory.dev/homebrew-formula/rocq-elpi/#3.2.0https://pkgstory.dev/homebrew-formula/rocq-elpi/#3.2.0rocq-elpi updated to 3.2.0Fri, 19 Sep 2025 14:30:33 GMThttps://pkgstory.dev/homebrew-formula/rocq-elpi/#3.1.0https://pkgstory.dev/homebrew-formula/rocq-elpi/#3.1.0rocq-elpi updated to 3.1.0Mon, 01 Sep 2025 14:22:47 GMThttps://pkgstory.dev/homebrew-formula/rocq-elpi/#3.0.0https://pkgstory.dev/homebrew-formula/rocq-elpi/#3.0.0rocq-elpi updated to 3.0.0Mon, 24 Mar 2025 22:10:43 GMT