Version updates for idris (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/idris/#1.3.4https://pkgstory.dev/homebrew-formula/idris/#1.3.4idris updated to 1.3.4Sun, 24 Oct 2021 01:26:51 GMThttps://pkgstory.dev/homebrew-formula/idris/#1.3.3https://pkgstory.dev/homebrew-formula/idris/#1.3.3idris updated to 1.3.3Mon, 25 May 2020 06:37:45 GMThttps://pkgstory.dev/homebrew-formula/idris/#1.3.2https://pkgstory.dev/homebrew-formula/idris/#1.3.2idris updated to 1.3.2Mon, 22 Jul 2019 14:44:54 GMThttps://pkgstory.dev/homebrew-formula/idris/#1.3.1https://pkgstory.dev/homebrew-formula/idris/#1.3.1idris updated to 1.3.1Thu, 25 Oct 2018 12:33:03 GMThttps://pkgstory.dev/homebrew-formula/idris/#1.3.0https://pkgstory.dev/homebrew-formula/idris/#1.3.0idris updated to 1.3.0Sun, 27 May 2018 05:48:49 GMThttps://pkgstory.dev/homebrew-formula/idris/#1.2.0https://pkgstory.dev/homebrew-formula/idris/#1.2.0idris updated to 1.2.0Mon, 08 Jan 2018 09:59:09 GMThttps://pkgstory.dev/homebrew-formula/idris/#1.1.1https://pkgstory.dev/homebrew-formula/idris/#1.1.1idris updated to 1.1.1Sun, 06 Aug 2017 04:41:13 GMThttps://pkgstory.dev/homebrew-formula/idris/#1.1.0https://pkgstory.dev/homebrew-formula/idris/#1.1.0idris updated to 1.1.0Tue, 01 Aug 2017 12:49:12 GMThttps://pkgstory.dev/homebrew-formula/idris/#1.0https://pkgstory.dev/homebrew-formula/idris/#1.0idris updated to 1.0Sat, 01 Apr 2017 12:34:02 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.99.2https://pkgstory.dev/homebrew-formula/idris/#0.99.2idris updated to 0.99.2Sun, 26 Mar 2017 17:26:42 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.99.1https://pkgstory.dev/homebrew-formula/idris/#0.99.1idris updated to 0.99.1Wed, 08 Mar 2017 15:08:44 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.99https://pkgstory.dev/homebrew-formula/idris/#0.99idris updated to 0.99Fri, 09 Dec 2016 21:17:45 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.12.3https://pkgstory.dev/homebrew-formula/idris/#0.12.3idris updated to 0.12.3Sun, 18 Sep 2016 14:12:20 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.12.2https://pkgstory.dev/homebrew-formula/idris/#0.12.2idris updated to 0.12.2Thu, 04 Aug 2016 23:11:12 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.12.1https://pkgstory.dev/homebrew-formula/idris/#0.12.1idris updated to 0.12.1Tue, 26 Jul 2016 20:10:08 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.12_1https://pkgstory.dev/homebrew-formula/idris/#0.12_1idris updated to 0.12_1Tue, 21 Jun 2016 18:34:51 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.12https://pkgstory.dev/homebrew-formula/idris/#0.12idris updated to 0.12Tue, 21 Jun 2016 13:30:29 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.11.2_1https://pkgstory.dev/homebrew-formula/idris/#0.11.2_1idris updated to 0.11.2_1Thu, 02 Jun 2016 05:51:17 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.11.2https://pkgstory.dev/homebrew-formula/idris/#0.11.2idris updated to 0.11.2Tue, 24 May 2016 10:51:38 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.11https://pkgstory.dev/homebrew-formula/idris/#0.11idris updated to 0.11Sun, 27 Mar 2016 16:47:13 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.10.2https://pkgstory.dev/homebrew-formula/idris/#0.10.2idris updated to 0.10.2Sun, 28 Feb 2016 13:16:20 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.10https://pkgstory.dev/homebrew-formula/idris/#0.10idris updated to 0.10Thu, 21 Jan 2016 00:09:32 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.9.20.2https://pkgstory.dev/homebrew-formula/idris/#0.9.20.2idris updated to 0.9.20.2Wed, 23 Dec 2015 11:55:01 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.9.20.1https://pkgstory.dev/homebrew-formula/idris/#0.9.20.1idris updated to 0.9.20.1Tue, 24 Nov 2015 19:22:39 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.9.20https://pkgstory.dev/homebrew-formula/idris/#0.9.20idris updated to 0.9.20Sun, 08 Nov 2015 16:58:03 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.9.19.1https://pkgstory.dev/homebrew-formula/idris/#0.9.19.1idris updated to 0.9.19.1Sun, 11 Oct 2015 11:09:55 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.9.19https://pkgstory.dev/homebrew-formula/idris/#0.9.19idris updated to 0.9.19Thu, 10 Sep 2015 13:04:10 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.9.18.1https://pkgstory.dev/homebrew-formula/idris/#0.9.18.1idris updated to 0.9.18.1Sun, 09 Aug 2015 19:41:23 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.9.18https://pkgstory.dev/homebrew-formula/idris/#0.9.18idris updated to 0.9.18Mon, 18 May 2015 18:56:06 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.9.17https://pkgstory.dev/homebrew-formula/idris/#0.9.17idris updated to 0.9.17Sat, 21 Mar 2015 22:37:39 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.9.16https://pkgstory.dev/homebrew-formula/idris/#0.9.16idris updated to 0.9.16Thu, 15 Jan 2015 18:13:15 GMThttps://pkgstory.dev/homebrew-formula/idris/#0.9.15.1https://pkgstory.dev/homebrew-formula/idris/#0.9.15.1idris updated to 0.9.15.1Tue, 04 Nov 2014 20:11:27 GMT