Version updates for lean (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/lean/#3.51.1https://pkgstory.dev/homebrew-formula/lean/#3.51.1lean updated to 3.51.1Thu, 25 May 2023 10:10:55 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.50.3https://pkgstory.dev/homebrew-formula/lean/#3.50.3lean updated to 3.50.3Thu, 29 Dec 2022 20:14:31 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.50.2https://pkgstory.dev/homebrew-formula/lean/#3.50.2lean updated to 3.50.2Sat, 24 Dec 2022 18:02:29 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.50.1https://pkgstory.dev/homebrew-formula/lean/#3.50.1lean updated to 3.50.1Fri, 23 Dec 2022 04:00:11 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.49.1https://pkgstory.dev/homebrew-formula/lean/#3.49.1lean updated to 3.49.1Mon, 21 Nov 2022 12:26:18 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.49.0https://pkgstory.dev/homebrew-formula/lean/#3.49.0lean updated to 3.49.0Fri, 11 Nov 2022 20:25:28 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.48.0https://pkgstory.dev/homebrew-formula/lean/#3.48.0lean updated to 3.48.0Thu, 01 Sep 2022 22:28:03 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.46.0https://pkgstory.dev/homebrew-formula/lean/#3.46.0lean updated to 3.46.0Mon, 08 Aug 2022 09:56:46 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.45.0https://pkgstory.dev/homebrew-formula/lean/#3.45.0lean updated to 3.45.0Wed, 13 Jul 2022 23:01:53 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.44.1https://pkgstory.dev/homebrew-formula/lean/#3.44.1lean updated to 3.44.1Fri, 24 Jun 2022 18:12:33 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.42.1https://pkgstory.dev/homebrew-formula/lean/#3.42.1lean updated to 3.42.1Tue, 05 Apr 2022 17:37:39 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.42.0https://pkgstory.dev/homebrew-formula/lean/#3.42.0lean updated to 3.42.0Thu, 24 Mar 2022 01:25:26 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.41.0https://pkgstory.dev/homebrew-formula/lean/#3.41.0lean updated to 3.41.0Sun, 13 Mar 2022 09:28:44 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.39.1https://pkgstory.dev/homebrew-formula/lean/#3.39.1lean updated to 3.39.1Tue, 15 Feb 2022 20:58:11 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.39.0https://pkgstory.dev/homebrew-formula/lean/#3.39.0lean updated to 3.39.0Thu, 03 Feb 2022 12:19:42 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.38.0https://pkgstory.dev/homebrew-formula/lean/#3.38.0lean updated to 3.38.0Thu, 13 Jan 2022 18:53:49 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.35.1https://pkgstory.dev/homebrew-formula/lean/#3.35.1lean updated to 3.35.1Tue, 16 Nov 2021 20:02:58 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.30.0https://pkgstory.dev/homebrew-formula/lean/#3.30.0lean updated to 3.30.0Sat, 15 May 2021 17:22:17 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.29.0https://pkgstory.dev/homebrew-formula/lean/#3.29.0lean updated to 3.29.0Sun, 25 Apr 2021 14:43:30 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.27.0https://pkgstory.dev/homebrew-formula/lean/#3.27.0lean updated to 3.27.0Sun, 28 Feb 2021 15:01:51 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.23.0https://pkgstory.dev/homebrew-formula/lean/#3.23.0lean updated to 3.23.0Sat, 24 Oct 2020 06:19:21 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.18.4https://pkgstory.dev/homebrew-formula/lean/#3.18.4lean updated to 3.18.4Thu, 13 Aug 2020 21:23:25 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.4.2https://pkgstory.dev/homebrew-formula/lean/#3.4.2lean updated to 3.4.2Fri, 18 Jan 2019 15:32:31 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.4.1https://pkgstory.dev/homebrew-formula/lean/#3.4.1lean updated to 3.4.1Thu, 03 May 2018 07:21:35 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.3.0https://pkgstory.dev/homebrew-formula/lean/#3.3.0lean updated to 3.3.0Fri, 22 Sep 2017 18:17:05 GMThttps://pkgstory.dev/homebrew-formula/lean/#3.2.0https://pkgstory.dev/homebrew-formula/lean/#3.2.0lean updated to 3.2.0Fri, 25 Aug 2017 09:40:42 GMT