Version updates for boolector (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/boolector/#3.2.4https://pkgstory.dev/homebrew-formula/boolector/#3.2.4boolector updated to 3.2.4Sat, 24 Aug 2024 00:01:33 GMThttps://pkgstory.dev/homebrew-formula/boolector/#3.2.3https://pkgstory.dev/homebrew-formula/boolector/#3.2.3boolector updated to 3.2.3Mon, 11 Sep 2023 22:24:35 GMThttps://pkgstory.dev/homebrew-formula/boolector/#3.2.2https://pkgstory.dev/homebrew-formula/boolector/#3.2.2boolector updated to 3.2.2Fri, 19 May 2023 19:06:10 GMT