Version updates for agda (formula).https://pkgstory.dev/https://pkgstory.dev/homebrew-formula/agda/#0.3.0_1https://pkgstory.dev/homebrew-formula/agda/#0.3.0_1agda updated to 0.3.0_1Sat, 10 Jan 2026 16:49:54 GMThttps://pkgstory.dev/homebrew-formula/agda/#0.3.0https://pkgstory.dev/homebrew-formula/agda/#0.3.0agda updated to 0.3.0Sun, 03 Aug 2025 23:35:51 GMThttps://pkgstory.dev/homebrew-formula/agda/#0.2.0_1https://pkgstory.dev/homebrew-formula/agda/#0.2.0_1agda updated to 0.2.0_1Mon, 17 Mar 2025 12:43:04 GMThttps://pkgstory.dev/homebrew-formula/agda/#0.2.0_2https://pkgstory.dev/homebrew-formula/agda/#0.2.0_2agda updated to 0.2.0_2Sun, 19 Jan 2025 00:42:45 GMThttps://pkgstory.dev/homebrew-formula/agda/#0.2.0https://pkgstory.dev/homebrew-formula/agda/#0.2.0agda updated to 0.2.0Sun, 18 Aug 2024 04:32:36 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.4.3-r1_2https://pkgstory.dev/homebrew-formula/agda/#2.6.4.3-r1_2agda updated to 2.6.4.3-r1_2Wed, 31 Jul 2024 18:08:06 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.4.3-r1_1https://pkgstory.dev/homebrew-formula/agda/#2.6.4.3-r1_1agda updated to 2.6.4.3-r1_1Sun, 19 May 2024 20:04:36 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.4.1_4https://pkgstory.dev/homebrew-formula/agda/#2.6.4.1_4agda updated to 2.6.4.1_4Sun, 03 Mar 2024 01:05:30 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.4.3https://pkgstory.dev/homebrew-formula/agda/#2.6.4.3agda updated to 2.6.4.3Fri, 23 Feb 2024 21:10:44 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.4.1_3https://pkgstory.dev/homebrew-formula/agda/#2.6.4.1_3agda updated to 2.6.4.1_3Wed, 07 Feb 2024 05:22:42 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.4.1_2https://pkgstory.dev/homebrew-formula/agda/#2.6.4.1_2agda updated to 2.6.4.1_2Fri, 29 Dec 2023 04:56:04 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.4.1_1https://pkgstory.dev/homebrew-formula/agda/#2.6.4.1_1agda updated to 2.6.4.1_1Tue, 12 Dec 2023 17:28:36 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.4.1https://pkgstory.dev/homebrew-formula/agda/#2.6.4.1agda updated to 2.6.4.1Thu, 30 Nov 2023 18:23:24 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.4_1https://pkgstory.dev/homebrew-formula/agda/#2.6.4_1agda updated to 2.6.4_1Fri, 10 Nov 2023 14:54:31 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.4https://pkgstory.dev/homebrew-formula/agda/#2.6.4agda updated to 2.6.4Sat, 07 Oct 2023 00:58:14 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.3_1https://pkgstory.dev/homebrew-formula/agda/#2.6.3_1agda updated to 2.6.3_1Fri, 15 Sep 2023 14:38:20 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.3https://pkgstory.dev/homebrew-formula/agda/#2.6.3agda updated to 2.6.3Mon, 30 Jan 2023 13:55:32 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.2.2_3https://pkgstory.dev/homebrew-formula/agda/#2.6.2.2_3agda updated to 2.6.2.2_3Tue, 27 Dec 2022 21:23:08 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.2.2_2https://pkgstory.dev/homebrew-formula/agda/#2.6.2.2_2agda updated to 2.6.2.2_2Fri, 02 Dec 2022 20:19:33 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.2.2_1https://pkgstory.dev/homebrew-formula/agda/#2.6.2.2_1agda updated to 2.6.2.2_1Fri, 09 Sep 2022 23:40:18 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.2.2https://pkgstory.dev/homebrew-formula/agda/#2.6.2.2agda updated to 2.6.2.2Sun, 03 Apr 2022 22:01:04 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.2.1_1https://pkgstory.dev/homebrew-formula/agda/#2.6.2.1_1agda updated to 2.6.2.1_1Sun, 06 Feb 2022 04:28:47 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.2.1https://pkgstory.dev/homebrew-formula/agda/#2.6.2.1agda updated to 2.6.2.1Sat, 11 Dec 2021 04:51:52 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.2_3https://pkgstory.dev/homebrew-formula/agda/#2.6.2_3agda updated to 2.6.2_3Tue, 26 Oct 2021 13:36:52 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.2_2https://pkgstory.dev/homebrew-formula/agda/#2.6.2_2agda updated to 2.6.2_2Fri, 27 Aug 2021 18:01:01 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.2_1https://pkgstory.dev/homebrew-formula/agda/#2.6.2_1agda updated to 2.6.2_1Mon, 16 Aug 2021 02:50:30 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.2https://pkgstory.dev/homebrew-formula/agda/#2.6.2agda updated to 2.6.2Mon, 21 Jun 2021 23:20:52 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.1.3_3https://pkgstory.dev/homebrew-formula/agda/#2.6.1.3_3agda updated to 2.6.1.3_3Thu, 10 Jun 2021 15:54:00 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.1.3_2https://pkgstory.dev/homebrew-formula/agda/#2.6.1.3_2agda updated to 2.6.1.3_2Mon, 07 Jun 2021 09:59:02 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.1.3_1https://pkgstory.dev/homebrew-formula/agda/#2.6.1.3_1agda updated to 2.6.1.3_1Fri, 23 Apr 2021 03:01:17 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.1.3https://pkgstory.dev/homebrew-formula/agda/#2.6.1.3agda updated to 2.6.1.3Sun, 07 Feb 2021 16:23:07 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.1.2https://pkgstory.dev/homebrew-formula/agda/#2.6.1.2agda updated to 2.6.1.2Wed, 16 Dec 2020 03:37:47 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.1https://pkgstory.dev/homebrew-formula/agda/#2.6.1agda updated to 2.6.1Mon, 16 Mar 2020 13:57:29 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.0.1_2https://pkgstory.dev/homebrew-formula/agda/#2.6.0.1_2agda updated to 2.6.0.1_2Fri, 28 Feb 2020 05:32:49 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.0.1_1https://pkgstory.dev/homebrew-formula/agda/#2.6.0.1_1agda updated to 2.6.0.1_1Sun, 30 Jun 2019 20:24:13 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.0.1https://pkgstory.dev/homebrew-formula/agda/#2.6.0.1agda updated to 2.6.0.1Fri, 21 Jun 2019 05:22:35 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.6.0https://pkgstory.dev/homebrew-formula/agda/#2.6.0agda updated to 2.6.0Mon, 06 May 2019 01:43:06 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.4.2https://pkgstory.dev/homebrew-formula/agda/#2.5.4.2agda updated to 2.5.4.2Tue, 30 Oct 2018 21:25:54 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.4.1https://pkgstory.dev/homebrew-formula/agda/#2.5.4.1agda updated to 2.5.4.1Fri, 20 Jul 2018 04:32:10 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.4https://pkgstory.dev/homebrew-formula/agda/#2.5.4agda updated to 2.5.4Sun, 03 Jun 2018 10:50:27 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.3_3https://pkgstory.dev/homebrew-formula/agda/#2.5.3_3agda updated to 2.5.3_3Thu, 05 Apr 2018 13:19:35 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.3_2https://pkgstory.dev/homebrew-formula/agda/#2.5.3_2agda updated to 2.5.3_2Tue, 20 Mar 2018 16:04:29 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.3_1https://pkgstory.dev/homebrew-formula/agda/#2.5.3_1agda updated to 2.5.3_1Wed, 10 Jan 2018 16:23:04 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.3https://pkgstory.dev/homebrew-formula/agda/#2.5.3agda updated to 2.5.3Sat, 09 Sep 2017 07:34:09 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.3-alpha1https://pkgstory.dev/homebrew-formula/agda/#2.5.3-alpha1agda updated to 2.5.3-alpha1Wed, 09 Aug 2017 04:54:36 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.2_1https://pkgstory.dev/homebrew-formula/agda/#2.5.2_1agda updated to 2.5.2_1Thu, 27 Jul 2017 13:38:59 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.2https://pkgstory.dev/homebrew-formula/agda/#2.5.2agda updated to 2.5.2Fri, 23 Dec 2016 21:45:15 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.1.2_1https://pkgstory.dev/homebrew-formula/agda/#2.5.1.2_1agda updated to 2.5.1.2_1Wed, 21 Dec 2016 10:12:41 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.1.2https://pkgstory.dev/homebrew-formula/agda/#2.5.1.2agda updated to 2.5.1.2Fri, 25 Nov 2016 17:41:24 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.1.1https://pkgstory.dev/homebrew-formula/agda/#2.5.1.1agda updated to 2.5.1.1Tue, 21 Jun 2016 15:58:33 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.1_1https://pkgstory.dev/homebrew-formula/agda/#2.5.1_1agda updated to 2.5.1_1Thu, 26 May 2016 04:24:53 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.5.1https://pkgstory.dev/homebrew-formula/agda/#2.5.1agda updated to 2.5.1Mon, 18 Apr 2016 23:41:23 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.4.2.5https://pkgstory.dev/homebrew-formula/agda/#2.4.2.5agda updated to 2.4.2.5Mon, 21 Dec 2015 22:51:21 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.4.2.4_3https://pkgstory.dev/homebrew-formula/agda/#2.4.2.4_3agda updated to 2.4.2.4_3Sun, 20 Dec 2015 13:49:46 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.4.2.4_2https://pkgstory.dev/homebrew-formula/agda/#2.4.2.4_2agda updated to 2.4.2.4_2Sat, 19 Dec 2015 20:58:42 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.4.2.4_1https://pkgstory.dev/homebrew-formula/agda/#2.4.2.4_1agda updated to 2.4.2.4_1Sun, 01 Nov 2015 19:22:02 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.4.2.4https://pkgstory.dev/homebrew-formula/agda/#2.4.2.4agda updated to 2.4.2.4Sun, 25 Oct 2015 13:46:32 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.4.2.3_2https://pkgstory.dev/homebrew-formula/agda/#2.4.2.3_2agda updated to 2.4.2.3_2Wed, 22 Jul 2015 17:00:01 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.4.2.3_1https://pkgstory.dev/homebrew-formula/agda/#2.4.2.3_1agda updated to 2.4.2.3_1Sun, 19 Jul 2015 17:51:43 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.4.2.3https://pkgstory.dev/homebrew-formula/agda/#2.4.2.3agda updated to 2.4.2.3Tue, 14 Jul 2015 14:12:51 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.4.2.2_1https://pkgstory.dev/homebrew-formula/agda/#2.4.2.2_1agda updated to 2.4.2.2_1Mon, 09 Feb 2015 20:46:31 GMThttps://pkgstory.dev/homebrew-formula/agda/#2.4.2.2https://pkgstory.dev/homebrew-formula/agda/#2.4.2.2agda updated to 2.4.2.2Wed, 21 Jan 2015 05:10:45 GMT