Version updates for why3 (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/why3/#0.86.1https://pkgstory.dev/homebrew-formula/why3/#0.86.1why3 updated to 0.86.1Tue, 19 May 2015 00:00:59 GMThttps://pkgstory.dev/homebrew-formula/why3/#0.85https://pkgstory.dev/homebrew-formula/why3/#0.85why3 updated to 0.85Wed, 28 Jan 2015 12:08:49 GMT