rocq-micromega-plugin updates ยท pkgstoryVersion updates for rocq-micromega-plugin (formula).https://pkgstory.dev/rocq-micromega-plugin 1.1.0https://pkgstory.dev/homebrew-formula/rocq-micromega-plugin/#1.1.0https://pkgstory.dev/homebrew-formula/rocq-micromega-plugin/#1.1.0rocq-micromega-plugin updated to 1.1.0Sat, 11 Jul 2026 07:01:29 GMT