Version updates for lean-cli (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/lean-cli/#1.2.4https://pkgstory.dev/homebrew-formula/lean-cli/#1.2.4lean-cli updated to 1.2.4Mon, 15 May 2023 08:56:41 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#1.2.3https://pkgstory.dev/homebrew-formula/lean-cli/#1.2.3lean-cli updated to 1.2.3Fri, 24 Mar 2023 15:28:06 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#1.2.2https://pkgstory.dev/homebrew-formula/lean-cli/#1.2.2lean-cli updated to 1.2.2Fri, 24 Mar 2023 05:17:38 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#1.2.1https://pkgstory.dev/homebrew-formula/lean-cli/#1.2.1lean-cli updated to 1.2.1Thu, 23 Mar 2023 15:28:23 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#1.2.0https://pkgstory.dev/homebrew-formula/lean-cli/#1.2.0lean-cli updated to 1.2.0Mon, 20 Mar 2023 12:28:26 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#1.1.0https://pkgstory.dev/homebrew-formula/lean-cli/#1.1.0lean-cli updated to 1.1.0Thu, 20 Oct 2022 05:31:33 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#1.0.2https://pkgstory.dev/homebrew-formula/lean-cli/#1.0.2lean-cli updated to 1.0.2Sat, 23 Jul 2022 05:21:14 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#1.0.1https://pkgstory.dev/homebrew-formula/lean-cli/#1.0.1lean-cli updated to 1.0.1Tue, 28 Jun 2022 04:27:47 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#1.0.0https://pkgstory.dev/homebrew-formula/lean-cli/#1.0.0lean-cli updated to 1.0.0Tue, 19 Apr 2022 09:17:59 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.29.2https://pkgstory.dev/homebrew-formula/lean-cli/#0.29.2lean-cli updated to 0.29.2Fri, 28 Jan 2022 18:24:07 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.29.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.29.1lean-cli updated to 0.29.1Sun, 28 Nov 2021 19:02:07 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.29.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.29.0lean-cli updated to 0.29.0Sat, 20 Nov 2021 04:12:45 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.28.2https://pkgstory.dev/homebrew-formula/lean-cli/#0.28.2lean-cli updated to 0.28.2Wed, 03 Nov 2021 06:00:27 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.28.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.28.1lean-cli updated to 0.28.1Mon, 01 Nov 2021 16:29:38 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.28.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.28.0lean-cli updated to 0.28.0Thu, 21 Oct 2021 19:38:04 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.27.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.27.0lean-cli updated to 0.27.0Fri, 08 Oct 2021 16:01:30 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.26.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.26.0lean-cli updated to 0.26.0Fri, 24 Sep 2021 14:35:29 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.25.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.25.1lean-cli updated to 0.25.1Tue, 07 Sep 2021 14:28:44 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.25.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.25.0lean-cli updated to 0.25.0Thu, 10 Jun 2021 19:23:30 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.24.4https://pkgstory.dev/homebrew-formula/lean-cli/#0.24.4lean-cli updated to 0.24.4Tue, 11 May 2021 21:08:47 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.24.3https://pkgstory.dev/homebrew-formula/lean-cli/#0.24.3lean-cli updated to 0.24.3Thu, 15 Apr 2021 04:16:01 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.24.2https://pkgstory.dev/homebrew-formula/lean-cli/#0.24.2lean-cli updated to 0.24.2Mon, 28 Dec 2020 20:10:53 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.24.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.24.1lean-cli updated to 0.24.1Mon, 30 Nov 2020 10:38:16 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.24.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.24.0lean-cli updated to 0.24.0Thu, 15 Oct 2020 04:26:32 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.23.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.23.0lean-cli updated to 0.23.0Fri, 07 Aug 2020 06:10:22 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.22.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.22.0lean-cli updated to 0.22.0Wed, 24 Jun 2020 23:37:43 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.21.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.21.0lean-cli updated to 0.21.0Thu, 25 Jul 2019 05:19:38 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.20.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.20.1lean-cli updated to 0.20.1Sat, 02 Mar 2019 22:19:29 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.20.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.20.0lean-cli updated to 0.20.0Thu, 29 Nov 2018 11:25:10 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.19.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.19.1lean-cli updated to 0.19.1Sat, 03 Nov 2018 08:14:47 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.19.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.19.0lean-cli updated to 0.19.0Wed, 12 Sep 2018 09:17:20 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.18.3https://pkgstory.dev/homebrew-formula/lean-cli/#0.18.3lean-cli updated to 0.18.3Wed, 02 May 2018 08:13:42 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.18.2https://pkgstory.dev/homebrew-formula/lean-cli/#0.18.2lean-cli updated to 0.18.2Thu, 22 Mar 2018 10:52:14 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.18.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.18.1lean-cli updated to 0.18.1Fri, 02 Mar 2018 08:27:11 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.18.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.18.0lean-cli updated to 0.18.0Tue, 27 Feb 2018 07:33:50 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.17.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.17.1lean-cli updated to 0.17.1Mon, 06 Nov 2017 13:04:15 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.16.2https://pkgstory.dev/homebrew-formula/lean-cli/#0.16.2lean-cli updated to 0.16.2Thu, 12 Oct 2017 07:10:19 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.16.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.16.1lean-cli updated to 0.16.1Thu, 28 Sep 2017 11:57:05 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.16.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.16.0lean-cli updated to 0.16.0Thu, 28 Sep 2017 07:50:52 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.15.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.15.0lean-cli updated to 0.15.0Thu, 21 Sep 2017 15:29:33 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.14.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.14.1lean-cli updated to 0.14.1Fri, 01 Sep 2017 11:39:09 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.14.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.14.0lean-cli updated to 0.14.0Thu, 31 Aug 2017 11:14:47 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.13.2https://pkgstory.dev/homebrew-formula/lean-cli/#0.13.2lean-cli updated to 0.13.2Thu, 24 Aug 2017 15:42:47 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.13.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.13.1lean-cli updated to 0.13.1Tue, 22 Aug 2017 05:38:42 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.13.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.13.0lean-cli updated to 0.13.0Fri, 18 Aug 2017 07:37:54 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.12.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.12.1lean-cli updated to 0.12.1Tue, 01 Aug 2017 10:18:42 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.12.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.12.0lean-cli updated to 0.12.0Fri, 28 Jul 2017 10:50:19 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.11.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.11.0lean-cli updated to 0.11.0Fri, 21 Jul 2017 10:18:05 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.10.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.10.0lean-cli updated to 0.10.0Fri, 14 Jul 2017 10:18:11 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.9.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.9.0lean-cli updated to 0.9.0Tue, 11 Jul 2017 10:51:27 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.8.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.8.0lean-cli updated to 0.8.0Mon, 10 Jul 2017 06:55:20 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.7.5https://pkgstory.dev/homebrew-formula/lean-cli/#0.7.5lean-cli updated to 0.7.5Mon, 17 Apr 2017 05:13:52 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.7.4https://pkgstory.dev/homebrew-formula/lean-cli/#0.7.4lean-cli updated to 0.7.4Fri, 14 Apr 2017 09:05:51 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.7.3https://pkgstory.dev/homebrew-formula/lean-cli/#0.7.3lean-cli updated to 0.7.3Thu, 13 Apr 2017 07:59:15 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.7.2https://pkgstory.dev/homebrew-formula/lean-cli/#0.7.2lean-cli updated to 0.7.2Wed, 05 Apr 2017 05:49:05 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.7.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.7.1lean-cli updated to 0.7.1Mon, 27 Mar 2017 09:41:24 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.7.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.7.0lean-cli updated to 0.7.0Tue, 21 Mar 2017 10:50:55 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.6.2https://pkgstory.dev/homebrew-formula/lean-cli/#0.6.2lean-cli updated to 0.6.2Mon, 13 Feb 2017 10:53:20 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.6.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.6.1lean-cli updated to 0.6.1Tue, 07 Feb 2017 03:41:43 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.6.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.6.0lean-cli updated to 0.6.0Sun, 22 Jan 2017 09:41:43 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.5.5https://pkgstory.dev/homebrew-formula/lean-cli/#0.5.5lean-cli updated to 0.5.5Mon, 02 Jan 2017 05:27:54 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.5.4https://pkgstory.dev/homebrew-formula/lean-cli/#0.5.4lean-cli updated to 0.5.4Sun, 04 Dec 2016 10:01:31 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.5.3https://pkgstory.dev/homebrew-formula/lean-cli/#0.5.3lean-cli updated to 0.5.3Wed, 30 Nov 2016 12:42:28 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.5.2https://pkgstory.dev/homebrew-formula/lean-cli/#0.5.2lean-cli updated to 0.5.2Mon, 28 Nov 2016 14:04:44 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.5.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.5.1lean-cli updated to 0.5.1Wed, 23 Nov 2016 10:22:39 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.5.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.5.0lean-cli updated to 0.5.0Mon, 21 Nov 2016 03:56:49 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.4.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.4.1lean-cli updated to 0.4.1Thu, 03 Nov 2016 06:59:35 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.3.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.3.0lean-cli updated to 0.3.0Tue, 27 Sep 2016 04:03:29 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.2.1https://pkgstory.dev/homebrew-formula/lean-cli/#0.2.1lean-cli updated to 0.2.1Thu, 08 Sep 2016 06:52:19 GMThttps://pkgstory.dev/homebrew-formula/lean-cli/#0.2.0https://pkgstory.dev/homebrew-formula/lean-cli/#0.2.0lean-cli updated to 0.2.0Tue, 23 Aug 2016 09:17:39 GMT