Version updates for idris2 (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/idris2/#0.8.0_2https://pkgstory.dev/homebrew-formula/idris2/#0.8.0_2idris2 updated to 0.8.0_2Tue, 12 May 2026 15:14:06 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.8.0_1https://pkgstory.dev/homebrew-formula/idris2/#0.8.0_1idris2 updated to 0.8.0_1Wed, 06 May 2026 23:08:47 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.8.0https://pkgstory.dev/homebrew-formula/idris2/#0.8.0idris2 updated to 0.8.0Fri, 31 Oct 2025 23:22:05 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.7.0_5https://pkgstory.dev/homebrew-formula/idris2/#0.7.0_5idris2 updated to 0.7.0_5Thu, 30 Oct 2025 01:38:08 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.7.0_4https://pkgstory.dev/homebrew-formula/idris2/#0.7.0_4idris2 updated to 0.7.0_4Wed, 07 May 2025 01:41:56 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.7.0_3https://pkgstory.dev/homebrew-formula/idris2/#0.7.0_3idris2 updated to 0.7.0_3Fri, 15 Nov 2024 23:45:04 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.7.0_2https://pkgstory.dev/homebrew-formula/idris2/#0.7.0_2idris2 updated to 0.7.0_2Fri, 09 Feb 2024 04:53:59 GMThttps://pkgstory.dev/homebrew-formula/idris2/#racket-v8.9https://pkgstory.dev/homebrew-formula/idris2/#racket-v8.9idris2 updated to racket-v8.9Fri, 22 Dec 2023 15:29:04 GMThttps://pkgstory.dev/homebrew-formula/idris2/#racket-v8.9_2https://pkgstory.dev/homebrew-formula/idris2/#racket-v8.9_2idris2 updated to racket-v8.9_2Mon, 16 Oct 2023 22:25:07 GMThttps://pkgstory.dev/homebrew-formula/idris2/#racket-v8.9_1https://pkgstory.dev/homebrew-formula/idris2/#racket-v8.9_1idris2 updated to racket-v8.9_1Tue, 29 Aug 2023 23:52:44 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.6.0https://pkgstory.dev/homebrew-formula/idris2/#0.6.0idris2 updated to 0.6.0Mon, 31 Oct 2022 20:37:57 GMThttps://pkgstory.dev/homebrew-formula/idris2/#racket-v8.6https://pkgstory.dev/homebrew-formula/idris2/#racket-v8.6idris2 updated to racket-v8.6Fri, 30 Sep 2022 09:53:29 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.5.1_2https://pkgstory.dev/homebrew-formula/idris2/#0.5.1_2idris2 updated to 0.5.1_2Tue, 26 Apr 2022 10:35:47 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.5.1_1https://pkgstory.dev/homebrew-formula/idris2/#0.5.1_1idris2 updated to 0.5.1_1Wed, 10 Nov 2021 21:10:38 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.5.1https://pkgstory.dev/homebrew-formula/idris2/#0.5.1idris2 updated to 0.5.1Tue, 21 Sep 2021 03:14:26 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.5.0https://pkgstory.dev/homebrew-formula/idris2/#0.5.0idris2 updated to 0.5.0Sun, 19 Sep 2021 02:13:59 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.4.0_1https://pkgstory.dev/homebrew-formula/idris2/#0.4.0_1idris2 updated to 0.4.0_1Sun, 11 Jul 2021 22:20:27 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.4.0https://pkgstory.dev/homebrew-formula/idris2/#0.4.0idris2 updated to 0.4.0Thu, 24 Jun 2021 17:36:43 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.3.0https://pkgstory.dev/homebrew-formula/idris2/#0.3.0idris2 updated to 0.3.0Fri, 15 Jan 2021 01:29:09 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.2.2https://pkgstory.dev/homebrew-formula/idris2/#0.2.2idris2 updated to 0.2.2Wed, 30 Dec 2020 00:56:27 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.2.1_1https://pkgstory.dev/homebrew-formula/idris2/#0.2.1_1idris2 updated to 0.2.1_1Sun, 06 Sep 2020 23:55:09 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.2.1https://pkgstory.dev/homebrew-formula/idris2/#0.2.1idris2 updated to 0.2.1Mon, 17 Aug 2020 09:30:09 GMThttps://pkgstory.dev/homebrew-formula/idris2/#0.2.0https://pkgstory.dev/homebrew-formula/idris2/#0.2.0idris2 updated to 0.2.0Tue, 26 May 2020 14:32:10 GMT