Version updates for eprover (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/eprover/#3.2https://pkgstory.dev/homebrew-formula/eprover/#3.2eprover updated to 3.2Mon, 10 Feb 2025 19:55:22 GMThttps://pkgstory.dev/homebrew-formula/eprover/#3.1https://pkgstory.dev/homebrew-formula/eprover/#3.1eprover updated to 3.1Wed, 01 May 2024 15:25:47 GMThttps://pkgstory.dev/homebrew-formula/eprover/#3.0.03https://pkgstory.dev/homebrew-formula/eprover/#3.0.03eprover updated to 3.0.03Sun, 26 Nov 2023 22:15:33 GMThttps://pkgstory.dev/homebrew-formula/eprover/#3.0https://pkgstory.dev/homebrew-formula/eprover/#3.0eprover updated to 3.0Wed, 15 Nov 2023 01:53:03 GMThttps://pkgstory.dev/homebrew-formula/eprover/#2.6https://pkgstory.dev/homebrew-formula/eprover/#2.6eprover updated to 2.6Wed, 23 Jun 2021 03:45:43 GMThttps://pkgstory.dev/homebrew-formula/eprover/#2.5https://pkgstory.dev/homebrew-formula/eprover/#2.5eprover updated to 2.5Wed, 29 Jul 2020 04:43:26 GMThttps://pkgstory.dev/homebrew-formula/eprover/#2.4https://pkgstory.dev/homebrew-formula/eprover/#2.4eprover updated to 2.4Mon, 04 Nov 2019 13:12:03 GMThttps://pkgstory.dev/homebrew-formula/eprover/#2.3https://pkgstory.dev/homebrew-formula/eprover/#2.3eprover updated to 2.3Fri, 12 Jul 2019 04:17:57 GMThttps://pkgstory.dev/homebrew-formula/eprover/#2.2https://pkgstory.dev/homebrew-formula/eprover/#2.2eprover updated to 2.2Mon, 03 Dec 2018 13:01:39 GMThttps://pkgstory.dev/homebrew-formula/eprover/#2.1https://pkgstory.dev/homebrew-formula/eprover/#2.1eprover updated to 2.1Mon, 25 Jun 2018 06:26:39 GMThttps://pkgstory.dev/homebrew-formula/eprover/#2.0https://pkgstory.dev/homebrew-formula/eprover/#2.0eprover updated to 2.0Tue, 05 Sep 2017 20:27:42 GMThttps://pkgstory.dev/homebrew-formula/eprover/#1.9https://pkgstory.dev/homebrew-formula/eprover/#1.9eprover updated to 1.9Sat, 27 Feb 2016 17:36:38 GMThttps://pkgstory.dev/homebrew-formula/eprover/#1.8https://pkgstory.dev/homebrew-formula/eprover/#1.8eprover updated to 1.8Sat, 17 Aug 2013 23:48:35 GMThttps://pkgstory.dev/homebrew-formula/eprover/#1.7https://pkgstory.dev/homebrew-formula/eprover/#1.7eprover updated to 1.7Sat, 30 Mar 2013 16:20:47 GMThttps://pkgstory.dev/homebrew-formula/eprover/#1.6https://pkgstory.dev/homebrew-formula/eprover/#1.6eprover updated to 1.6Sun, 05 Aug 2012 03:28:05 GMT