Version updates for yices2 (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/yices2/#2.7.0https://pkgstory.dev/homebrew-formula/yices2/#2.7.0yices2 updated to 2.7.0Mon, 28 Jul 2025 18:20:20 GMThttps://pkgstory.dev/homebrew-formula/yices2/#2.6.5https://pkgstory.dev/homebrew-formula/yices2/#2.6.5yices2 updated to 2.6.5Tue, 11 Feb 2025 00:41:56 GMT