Version updates for dafny (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/dafny/#4.11.0https://pkgstory.dev/homebrew-formula/dafny/#4.11.0dafny updated to 4.11.0Tue, 26 Aug 2025 04:46:10 GMThttps://pkgstory.dev/homebrew-formula/dafny/#4.10.0https://pkgstory.dev/homebrew-formula/dafny/#4.10.0dafny updated to 4.10.0Tue, 04 Feb 2025 23:26:37 GMThttps://pkgstory.dev/homebrew-formula/dafny/#4.9.0https://pkgstory.dev/homebrew-formula/dafny/#4.9.0dafny updated to 4.9.0Wed, 30 Oct 2024 21:29:48 GMThttps://pkgstory.dev/homebrew-formula/dafny/#4.8.1https://pkgstory.dev/homebrew-formula/dafny/#4.8.1dafny updated to 4.8.1Mon, 16 Sep 2024 15:30:09 GMThttps://pkgstory.dev/homebrew-formula/dafny/#4.8.0https://pkgstory.dev/homebrew-formula/dafny/#4.8.0dafny updated to 4.8.0Wed, 28 Aug 2024 18:31:25 GMThttps://pkgstory.dev/homebrew-formula/dafny/#4.7.0https://pkgstory.dev/homebrew-formula/dafny/#4.7.0dafny updated to 4.7.0Wed, 26 Jun 2024 15:30:22 GMThttps://pkgstory.dev/homebrew-formula/dafny/#4.6.0https://pkgstory.dev/homebrew-formula/dafny/#4.6.0dafny updated to 4.6.0Thu, 28 Mar 2024 15:34:14 GMThttps://pkgstory.dev/homebrew-formula/dafny/#4.5.0https://pkgstory.dev/homebrew-formula/dafny/#4.5.0dafny updated to 4.5.0Sat, 16 Mar 2024 00:35:53 GMThttps://pkgstory.dev/homebrew-formula/dafny/#4.4.0https://pkgstory.dev/homebrew-formula/dafny/#4.4.0dafny updated to 4.4.0Tue, 12 Dec 2023 18:39:13 GMThttps://pkgstory.dev/homebrew-formula/dafny/#4.3.0https://pkgstory.dev/homebrew-formula/dafny/#4.3.0dafny updated to 4.3.0Fri, 29 Sep 2023 05:07:49 GMThttps://pkgstory.dev/homebrew-formula/dafny/#4.2.0https://pkgstory.dev/homebrew-formula/dafny/#4.2.0dafny updated to 4.2.0Thu, 20 Jul 2023 14:52:54 GMThttps://pkgstory.dev/homebrew-formula/dafny/#4.1.0https://pkgstory.dev/homebrew-formula/dafny/#4.1.0dafny updated to 4.1.0Wed, 10 May 2023 21:29:34 GMThttps://pkgstory.dev/homebrew-formula/dafny/#4.0.0https://pkgstory.dev/homebrew-formula/dafny/#4.0.0dafny updated to 4.0.0Fri, 03 Mar 2023 15:25:31 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.13.1https://pkgstory.dev/homebrew-formula/dafny/#3.13.1dafny updated to 3.13.1Thu, 02 Mar 2023 23:09:43 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.13.0https://pkgstory.dev/homebrew-formula/dafny/#3.13.0dafny updated to 3.13.0Thu, 02 Mar 2023 18:52:20 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.12.0https://pkgstory.dev/homebrew-formula/dafny/#3.12.0dafny updated to 3.12.0Wed, 22 Feb 2023 00:00:50 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.11.0https://pkgstory.dev/homebrew-formula/dafny/#3.11.0dafny updated to 3.11.0Wed, 01 Feb 2023 14:18:42 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.10.0https://pkgstory.dev/homebrew-formula/dafny/#3.10.0dafny updated to 3.10.0Thu, 15 Dec 2022 21:45:16 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.9.1_1https://pkgstory.dev/homebrew-formula/dafny/#3.9.1_1dafny updated to 3.9.1_1Wed, 07 Dec 2022 08:14:17 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.9.1https://pkgstory.dev/homebrew-formula/dafny/#3.9.1dafny updated to 3.9.1Thu, 27 Oct 2022 23:14:18 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.9.0https://pkgstory.dev/homebrew-formula/dafny/#3.9.0dafny updated to 3.9.0Tue, 04 Oct 2022 05:26:53 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.8.1https://pkgstory.dev/homebrew-formula/dafny/#3.8.1dafny updated to 3.8.1Fri, 02 Sep 2022 04:48:38 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.8.0https://pkgstory.dev/homebrew-formula/dafny/#3.8.0dafny updated to 3.8.0Tue, 23 Aug 2022 22:11:47 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.7.3https://pkgstory.dev/homebrew-formula/dafny/#3.7.3dafny updated to 3.7.3Tue, 19 Jul 2022 23:01:03 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.7.2https://pkgstory.dev/homebrew-formula/dafny/#3.7.2dafny updated to 3.7.2Thu, 14 Jul 2022 05:21:20 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.7.1https://pkgstory.dev/homebrew-formula/dafny/#3.7.1dafny updated to 3.7.1Wed, 22 Jun 2022 05:14:55 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.7.0https://pkgstory.dev/homebrew-formula/dafny/#3.7.0dafny updated to 3.7.0Tue, 21 Jun 2022 05:13:14 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.6.0https://pkgstory.dev/homebrew-formula/dafny/#3.6.0dafny updated to 3.6.0Thu, 12 May 2022 05:13:38 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.5.0https://pkgstory.dev/homebrew-formula/dafny/#3.5.0dafny updated to 3.5.0Tue, 15 Mar 2022 05:09:19 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.4.2https://pkgstory.dev/homebrew-formula/dafny/#3.4.2dafny updated to 3.4.2Mon, 21 Feb 2022 13:15:27 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.4.1https://pkgstory.dev/homebrew-formula/dafny/#3.4.1dafny updated to 3.4.1Tue, 15 Feb 2022 04:35:50 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.3.0https://pkgstory.dev/homebrew-formula/dafny/#3.3.0dafny updated to 3.3.0Fri, 05 Nov 2021 01:08:52 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.2.0https://pkgstory.dev/homebrew-formula/dafny/#3.2.0dafny updated to 3.2.0Wed, 14 Jul 2021 01:01:31 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.1.0_1https://pkgstory.dev/homebrew-formula/dafny/#3.1.0_1dafny updated to 3.1.0_1Mon, 31 May 2021 12:48:49 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.1.0https://pkgstory.dev/homebrew-formula/dafny/#3.1.0dafny updated to 3.1.0Wed, 21 Apr 2021 23:45:31 GMThttps://pkgstory.dev/homebrew-formula/dafny/#3.0.0https://pkgstory.dev/homebrew-formula/dafny/#3.0.0dafny updated to 3.0.0Thu, 04 Feb 2021 02:22:38 GMThttps://pkgstory.dev/homebrew-formula/dafny/#2.3.0_3https://pkgstory.dev/homebrew-formula/dafny/#2.3.0_3dafny updated to 2.3.0_3Sat, 05 Dec 2020 01:03:57 GMThttps://pkgstory.dev/homebrew-formula/dafny/#2.3.0_2https://pkgstory.dev/homebrew-formula/dafny/#2.3.0_2dafny updated to 2.3.0_2Sat, 18 Apr 2020 23:52:54 GMThttps://pkgstory.dev/homebrew-formula/dafny/#2.3.0_1https://pkgstory.dev/homebrew-formula/dafny/#2.3.0_1dafny updated to 2.3.0_1Thu, 21 Nov 2019 22:59:12 GMThttps://pkgstory.dev/homebrew-formula/dafny/#2.3.0https://pkgstory.dev/homebrew-formula/dafny/#2.3.0dafny updated to 2.3.0Tue, 24 Sep 2019 16:03:44 GMT