diff --git a/README.md b/README.md index 0137af9..87356bc 100644 --- a/README.md +++ b/README.md @@ -176,18 +176,18 @@ jobs: | Agda | Ubuntu | macOS (Intel) | macOS (Apple) | Windows | | :------ | :-----: | :-----------: | :-----------: | :-----: | | 2.7.0 | >=20.04 | >=12 | >=14 | >=2019 | -| 2.6.4.3 | >=20.04 | >=11 | >=14 | >=2019 | -| 2.6.4.1 | >=20.04 | >=11 | >=14 | >=2019 | -| 2.6.4 | >=20.04 | >=11 | >=14 | >=2019 | -| 2.6.3 | >=20.04 | >=11 | >=14 | >=2019 | -| 2.6.2.2 | >=20.04 | >=11 | | >=2019 | -| 2.6.2.1 | >=20.04 | >=11 | | >=2019 | -| 2.6.2 | >=20.04 | >=11 | | >=2019 | -| 2.6.1.3 | >=20.04 | >=11 | | | -| 2.6.0.1 | >=20.04 | >=11 | | | -| 2.5.4.2 | >=20.04 | >=11 | | | -| 2.5.3 | >=20.04 | >=11 | | | -| 2.5.2 | >=20.04 | >=11 | | | +| 2.6.4.3 | >=20.04 | >=12 | >=14 | >=2019 | +| 2.6.4.1 | >=20.04 | >=12 | >=14 | >=2019 | +| 2.6.4 | >=20.04 | >=12 | >=14 | >=2019 | +| 2.6.3 | >=20.04 | >=12 | >=14 | >=2019 | +| 2.6.2.2 | >=20.04 | >=12 | | >=2019 | +| 2.6.2.1 | >=20.04 | >=12 | | >=2019 | +| 2.6.2 | >=20.04 | >=12 | | >=2019 | +| 2.6.1.3 | >=20.04 | >=12 | | | +| 2.6.0.1 | >=20.04 | >=12 | | | +| 2.5.4.2 | >=20.04 | >=12 | | | +| 2.5.3 | >=20.04 | >=12 | | | +| 2.5.2 | >=20.04 | >=12 | | | We encourage using the binary distributions. The binary distributions are tested on every commit. Building the latest Agda version is tested weekly on all platforms except Windows 2019. Please do not rely on the legacy builds, as these are not regularly tested. Please report any failing build _that is listed as working_, and we will update the table. diff --git a/data/Agda.versions.yml b/data/Agda.versions.yml index 2fda6e2..a2bf055 100644 --- a/data/Agda.versions.yml +++ b/data/Agda.versions.yml @@ -18,24 +18,24 @@ nightly: binary: macos: arm64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-arm64-macos-14-ghc9.8.2-icu74.2.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-arm64-macos-14-ghc9.8.2-icu74.2.zip sha256: 6e46324b8425a756c0e2d40b977fa93ad767c0ff251da52645ddb5503d909470 target: macos-14 x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-x64-macos-12-ghc9.10.1-icu74.2.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-macos-12-ghc9.10.1-icu74.2.zip sha256: 35f1c8ac02d8be43c3ecdc223bed3acf143cb4e32bf43e6c24ac616cc7f5a668 target: macos-12 linux: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-x64-ubuntu-20.04-ghc9.10.1-icu66.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-ubuntu-20.04-ghc9.10.1-icu66.1.zip sha256: f90a1fb7ac1bb7535dc8c2640c9ebe22fdeb3dd85c6f5150c245b9b5d6da1056 target: ubuntu-20.04 - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-x64-ubuntu-22.04-ghc9.10.1-icu70.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-ubuntu-22.04-ghc9.10.1-icu70.1.zip sha256: 6595c7ff4a4f8821974d7cf06e011b96fd91d86eb54ed51930dc54be167c318b target: ubuntu-22.04 windows: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-x64-windows-2022-ghc9.10.1-icu75.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-windows-2022-ghc9.10.1-icu75.1.zip sha256: 1b8f46e07e5a8f9bf6b09e0d5f46a6fe56d90393f4425ad3101dc0952d262c74 target: windows-2022 compatibility: @@ -56,23 +56,26 @@ nightly: binary: macos: arm64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.3-arm64-macos-14-ghc9.4.4-icu74.2.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-arm64-macos-14-ghc9.4.4-icu74.2.zip sha256: 82c7c67450119214261dbbba2b7ae759d139f77aae7eee46f38b5772e8c1064f target: macos-14 x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.3-x64-macos-11-ghc9.8.1-icu73.2.zip - sha256: 44e5e7cf6db1c7e01b85895cf0f9fb35c5e7563b3111bd8994c8c51a80ebc97c - target: macos-11 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-macos-12-ghc9.8.1-icu73.2.zip + sha256: d8303e5a8d6557d543470617f07ed9a0932b1bd50d7946a398e88af6f664c1be + target: macos-12 linux: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.3-x64-ubuntu-20.04-ghc9.8.1-icu66.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-ubuntu-20.04-ghc9.8.1-icu66.1.zip sha256: 0fb040d7aaf1b86ece7bb20ebf8e42b1b398067d3e39cca16511ba842abd8f44 target: ubuntu-20.04 + # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-ubuntu-22.04-ghc9.8.1-icu70.1.zip + # sha256: 22d4d7a2ca3af67e77c70f8717b2ea686ef29a62b43b25641e075dc7789d4202 + # target: ubuntu-22.04 windows: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.3-x64-windows-2022-ghc9.8.1-icu74.2.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-windows-2022-ghc9.8.1-icu74.2.zip sha256: 594b38f300cdeb31071f2ad4110e21ee24efb349b605c4f52353bb39ffaf8521 - target: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip + target: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip compatibility: agda-stdlib: '1.7.3 - 2.0' ghc: '8.6.5 - 9.8.1' @@ -91,21 +94,24 @@ nightly: binary: macos: arm64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-arm64-macos-14-ghc9.4.4-icu74.2.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-arm64-macos-14-ghc9.4.4-icu74.2.zip sha256: 1dc9ee02d9c774113f3ed5d31f95d9efdddad86139b5321e791acee6198c3368 target: macos-14 x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-x64-macos-11-ghc9.4.7-icu73.2.zip - sha256: aa716b624d8351fb962600f9a95fad3a17bbb0ea969d32b636c27c567b4b2cc5 - target: macos-11 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-12-ghc9.4.7-icu73.2.zip + sha256: d56b21198cc87b05634501535c26980604dbed9459255643ede054dda6e96889 + target: macos-12 linux: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1.zip sha256: 22adb4ee6be4ecafd7bc1efc91121944de18cc988e8098e8474f4c8bf67fb004 target: ubuntu-20.04 + # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-22.04-ghc9.4.7-icu70.1.zip + # sha256: bd6aca2275ec9947643f51fe30826714a451aadef681d83c70a48c4a36c31665 + # target: ubuntu-22.04 windows: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.1.zip sha256: 19a761f43e0370f8e82e4ea7dd80e4b222e12b9b0a1e1539bf8d6d08d5188e81 target: windows-2022 compatibility: @@ -126,21 +132,24 @@ nightly: binary: macos: arm64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4-arm64-macos-14-ghc9.4.4-icu74.2.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-arm64-macos-14-ghc9.4.4-icu74.2.zip sha256: 8f936b4d6d1c77fbd77e8ec03f85aa736fbce0f021b3dce8c8f76d61ed470444 target: macos-14 x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4-x64-macos-11-ghc9.4.7-icu73.2.zip - sha256: 6870daaee3beebe7fd7dc194a2616e23a0d24b3577f3e578c4d507d5b3313e6b - target: macos-11 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-macos-12-ghc9.6.3-icu73.2.zip + sha256: 54911fff70bbae66cea42a4b8e9c467860211a555c53efc584a554ca3e657b5e + target: macos-12 linux: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4-x64-ubuntu-20.04-ghc9.6.3-icu66.1.zip + # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-ubuntu-22.04-ghc9.6.3-icu70.1.zip + # sha256: 0280ff4001f0f374f04bd5fbe66fde9efcba29c4daff44a9e6efec1513d39373 + # target: ubuntu-22.04 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-ubuntu-20.04-ghc9.6.3-icu66.1.zip sha256: 16b4bb129ea44c5c5bb84ac20016519af08c6e38999c9677052a8845c7b90e11 target: ubuntu-20.04 windows: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4-x64-windows-2022-ghc9.6.3-icu73.2.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-windows-2022-ghc9.6.3-icu73.2.zip sha256: 123f7f0791903919b0fded935f3e620f1d4400fd1f16e44ac5346a512f6cbd17 target: windows-2022 compatibility: @@ -161,21 +170,24 @@ nightly: binary: macos: arm64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.3-arm64-macos-14-ghc9.4.4-icu74.2.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-arm64-macos-14-ghc9.4.4-icu74.2.zip sha256: 918a081c361d0fa858a7ed52498bd14bdb5da7794cc59a3b9fbc3abd4bdac8a2 target: macos-14 x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.3-x64-macos-11-ghc9.4.4-icu72.1.zip - sha256: ff0ea4f5e57064df1664a251119b78409c2c7f2f84e4592d4c8f85c197401c2d - target: macos-11 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-macos-12-ghc9.4.4-icu72.1.zip + sha256: ef1aee7f6721ac30402ce7debd8aed0fe883d278a943bcf3f3f0edc3bfbf0df8 + target: macos-12 linux: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.3-x64-ubuntu-20.04-ghc9.4.4-icu66.1.zip + # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-ubuntu-22.04-ghc9.4.4-icu70.1.zip + # sha256: f55daf1e2623a5bb4155c5a7eff57ee465a8d87ed253625c870dc30e79972420 + # target: ubuntu-22.04 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-ubuntu-20.04-ghc9.4.4-icu66.1.zip sha256: 12d62d4783fb8daaa1a0630fbb68a412ad4c23dc52a33eef0eab6a514d291d08 target: ubuntu-20.04 windows: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.3-x64-windows-2022-ghc9.4.4-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-windows-2022-ghc9.4.4-icu72.1.zip sha256: 2143d880a85da0d71951b7471e6f3414f6c07ce6cd70e936fd0451b0b9d46951 target: windows-2022 compatibility: @@ -196,17 +208,20 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.2-x64-macos-11-ghc9.2.4-icu72.1.zip - sha256: a72435a774355dd837945a5764bf6778188d387488c356d034ca44bf7f8eec85 - target: macos-11 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-12-ghc9.2.4-icu72.1.zip + sha256: d1205dd6527033c5011e1800e26bc24dc784d5a761bebebf20da150a70c5de3a + target: macos-12 linux: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip sha256: d15b2f41d1d9b6e95f75e388a66e1439610cb6d1cc5c90b3f136e79d020aa367 target: ubuntu-20.04 + # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-22.04-ghc9.2.4-icu70.1.zip + # sha256: d49021a4dd6852648d64a8911be8e90b76c0adab92d14d54e018287b20712e72 + # target: ubuntu-22.04 windows: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip sha256: e442bf8ec6e6dc6cbffe6537144878a2eef0057a43c7bdd3a5d4d9828ae20582 target: windows-2022 compatibility: @@ -227,17 +242,20 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.1-x64-macos-11-ghc9.0.2-icu72.1.zip - sha256: a63c6465c5251dc7a7bb9336fed995571bcc7c2f89839d16257bc0f8da0182c4 - target: macos-11 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-12-ghc9.0.2-icu72.1.zip + sha256: d10863cba4aa7cf7a539f6a6922846be1773cac8bc2bea76d773a007fff60510 + target: macos-12 linux: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip sha256: 9182e391336e2359b707deebf11a87b1a098979c053ddfd1468c3485bee064d6 target: ubuntu-20.04 + # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip + # sha256: a7d48d29f41a21efd683b04ae321112f7dc40944f8df29e8a76319e52941d7a8 + # target: ubuntu-22.04 windows: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip sha256: 1bdbc325826268bbd8289cc0737dbab3390e4767da13c269c22847a45d1df86a target: windows-2022 compatibility: @@ -258,17 +276,20 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2-x64-macos-11-ghc9.0.2-icu72.1.zip - sha256: 37e20554406421132c7ee68c13cc3d325c081ed9d5bcd842d52f181b53b076fc - target: macos-11 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-12-ghc9.0.2-icu72.1.zip + sha256: d45220cf1c8204483dfe0b97aeaa13127e70d9b80811de2b3b92219606647cb2 + target: macos-12 linux: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip sha256: 272c7f465eff8e4a4b3946415131d29977966f8543013d876b5d36ecea7f29af target: ubuntu-20.04 + # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip + # sha256: ca014d2053274d8b8d69d25be4c6c75988a5e59794739420582a179227a95fa1 + # target: ubuntu-22.04 windows: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip sha256: be38e10485e6d3a2836d330a7e08de6993b5ce112803f4efa56c11a0c15eeffa target: windows-2022 compatibility: @@ -289,14 +310,17 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.1.3-x64-macos-11-ghc8.10.7-icu72.1.zip - sha256: ebd241eeb7951f1e227bdd668683c5362402ab32484cb888d0ec22f9a75f2a1c - target: macos-11 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-12-ghc8.10.7-icu72.1.zip + sha256: 1828e2ae06621d70acb8c0fa5c6bf8fb14b40a4be34d26c5a69c1c40b712717d + target: macos-12 linux: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip sha256: 7632e8a38ad01129e342c0b4b25160a20865566ab8b48422a6bd520120882001 target: ubuntu-20.04 + # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-22.04-ghc8.10.7-icu70.1.zip + # sha256: b52dacaa226f914d470edf517c4c172bd275ecbf4ec1315e0ed92758daae095a + # target: ubuntu-22.04 windows: x64: [] compatibility: @@ -315,14 +339,17 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.0.1-x64-macos-11-ghc8.6.5-icu72.1.zip - sha256: 0831433eeac32c0dced3358ecbcd6b6fe84015e9c331e87a4e0b15eb9ec0d7a6 - target: macos-11 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-12-ghc8.6.5-icu72.1.zip + sha256: 19e8a75237940f4ab28cd19e74e08f000a88c7f448c700a922399456c7e86aec + target: macos-12 linux: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip sha256: 4e248165fa319878468a77c1cb037101712e6ea08d21d611cc327fc220cda14c target: ubuntu-20.04 + # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-22.04-ghc8.6.5-icu70.1.zip + # sha256: 8bb8524b95a08bb15f599ece371039d045b90d47ac8c1a44014af746dae7e3fb + # target: ubuntu-22.04 windows: x64: [] compatibility: @@ -334,14 +361,17 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu73.2.zip - sha256: c1b82a2b2d3004860fcc009452c5feb1deea188226a06452acdfaf50b0131fbc - target: macos-11 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu73.2.zip + sha256: 759d73ebd3e9c3a8cd681e253400d2b19afbb2039d39bbda69899d39c354ad01 + target: macos-12 linux: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip sha256: 5be8ca3253954c5602222936fd6901c5743bf56c19eb055a04f31e17564c4215 target: ubuntu-20.04 + # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-22.04-ghc8.4.4-icu70.1.zip + # sha256: f183a793a1dd0856f69a86bc17d293ec52b2270113507ff59811fa5de59ebf18 + # target: ubuntu-22.04 windows: x64: [] compatibility: @@ -353,14 +383,17 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.3-x64-macos-11-ghc8.2.2-icu73.2.zip - sha256: 0c414283faf3224ecebd50ea06a818b90cd44c1d17a4243102721735a9954eb2 - target: macos-11 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-12-ghc8.2.2-icu73.2.zip + sha256: 56f51922411cdf086cda921a8217b64a8cc23c659b1b4b99719eeb7632c42d1e + target: macos-12 linux: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip sha256: 6a450bd50e7f403caf1d4e63d6381fc9fe0109053686b7e0b8a0ad5ba1eca9a1 target: ubuntu-20.04 + # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-22.04-ghc8.2.2-icu70.1.zip + # sha256: a752bdb680dce4c6f03a10298e3bdf39d5a5137d633bbaf1f5e98d3d0b6bdd6d + # target: ubuntu-22.04 windows: x64: [] compatibility: @@ -373,14 +406,20 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.2-x64-macos-11-ghc8.0.2.zip - sha256: 922533fed4853ef07c6250075c3c0792fd36f930735a11852e3d990532f9487a - target: macos-11 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-macos-12-ghc8.0.2.zip + sha256: 824733b1631c6f11d136ee81e76def02fe74f72acf8cbb74323012decb58e792 + target: macos-12 linux: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip + # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-18.04-ghc8.0.2.zip + # sha256: 9bf068a64c1e1a80d6c0b725f32d5fa7c1f551d523889433e781f2af5efa9342 + # target: ubuntu-18.04 + - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip sha256: 6db78288847727714bafd1b8a4b493d40d8e4492990951bda9f893b3b73e6747 target: ubuntu-20.04 + # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-22.04-ghc8.0.2.zip + # sha256: 0174a1fc3184f8235f32a095b7311350dfca71d8a19b6133d1f62a7ff20b5da4 + # target: ubuntu-22.04 windows: x64: [] compatibility: diff --git a/dist/action.cjs b/dist/action.cjs index 0393f27..961f7ac 100644 --- a/dist/action.cjs +++ b/dist/action.cjs @@ -236,72 +236,72 @@ Maximum 90 days unless changed from the repository settings page. `,required:!1},"stack-no-global":{description:`If specified, enable-stack must be set. Prevents installing GHC and Cabal globally. `,required:!1},"stack-setup-ghc":{description:`If specified, enable-stack must be set. Will run stack setup to install the specified GHC. `,required:!1},"cabal-update":{required:!1,description:"If specified, will run `cabal update`.\n"},"ghcup-release-channel":{required:!1,description:"If specified, value is added as a ghcup release channel via `ghcup config add-release-channel`.\n"},"disable-matcher":{required:!1,description:`If specified, disables match messages from GHC as GitHub CI annotations. -`}},outputs:{"agda-version":{description:"The resolved Agda version."},"agda-path":{description:"The path of the agda executable _directory_."},"agda-data-path":{description:"The path of the agda data _directory_."},"agda-exe":{description:"The path of the agda _executable_."},"agda-mode-exe":{description:"The path of the agda-mode _executable_."},"setup-haskell":{description:"Whether or not actions/haskell/setup was called."},"ghc-version":{description:"The resolved version of ghc"},"cabal-version":{description:"The resolved version of cabal"},"stack-version":{description:"The resolved version of stack"},"ghc-exe":{description:"The path of the ghc _executable_"},"cabal-exe":{description:"The path of the cabal _executable_"},"stack-exe":{description:"The path of the stack _executable_"},"ghc-path":{description:"The path of the ghc executable _directory_"},"cabal-path":{description:"The path of the cabal executable _directory_"},"stack-path":{description:"The path of the stack executable _directory_"},"cabal-store":{description:"The path to the cabal store"},"stack-root":{description:"The path to the stack root (equal to the STACK_ROOT environment variable if it is set; otherwise an OS-specific default)"}},runs:{using:"node16",main:"./dist/action.cjs"},branding:{icon:"feather",color:"purple"}};var L0={"2.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v2.1.zip",tag:"v2.1",dir:"agda-stdlib-2.1"}},"2.0":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v2.0.zip",tag:"v2.0",dir:"agda-stdlib-2.0"}},"1.7.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.3.zip",tag:"v1.7.3",dir:"agda-stdlib-1.7.3"}},"1.7.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.2.zip",tag:"v1.7.2",dir:"agda-stdlib-1.7.2"}},"1.7.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.1.zip",tag:"v1.7.1",dir:"agda-stdlib-1.7.1"}},"1.7":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.zip",tag:"v1.7",dir:"agda-stdlib-1.7"}},"1.6":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.6.zip",tag:"v1.6",dir:"agda-stdlib-1.6"}},"1.5":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.5.zip",tag:"v1.5",dir:"agda-stdlib-1.5"}},"1.4":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.4.zip",tag:"v1.4",dir:"agda-stdlib-1.4"}},"1.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.3.zip",tag:"v1.3",dir:"agda-stdlib-1.3"}},"1.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.2.zip",tag:"v1.2",dir:"agda-stdlib-1.2"}},"1.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.1.zip",tag:"v1.1",dir:"agda-stdlib-1.1"}},"1.0.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.0.1.zip",tag:"v1.0.1",dir:"agda-stdlib-1.0.1"}},"1.0":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.0.zip",tag:"v1.0",dir:"agda-stdlib-1.0"}},"0.17":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.17.zip",tag:"v0.17",dir:"agda-stdlib-0.17"}},"0.16":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.16.zip",tag:"v0.16",dir:"agda-stdlib-0.16"}},"0.16.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.16.1.zip",tag:"v0.16.1",dir:"agda-stdlib-0.16.1"}},"0.15":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.15.zip",tag:"v0.15",dir:"agda-stdlib-0.15"}},"0.14":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.14.zip",tag:"v0.14",dir:"agda-stdlib-0.14"}},"0.13":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.13.zip",tag:"v0.13",dir:"agda-stdlib-0.13"}},"0.12":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.12.zip",tag:"v0.12",dir:"agda-stdlib-0.12"}},"0.11":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.11.zip",tag:"v0.11",dir:"agda-stdlib-0.11"}},"0.10":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.10.zip",tag:"v0.10",dir:"agda-stdlib-0.10"}},"0.9":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.9.zip",tag:"v0.9",dir:"agda-stdlib-0.9"}},"0.8.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.8.1.zip",tag:"v0.8.1",dir:"agda-stdlib-0.8.1"}},"0.8":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.8.zip",tag:"v0.8",dir:"agda-stdlib-0.8"}},"0.7":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_7.zip",tag:"0_7",dir:"agda-stdlib-0_7"}},"0.6":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_6.zip",tag:"0_6",dir:"agda-stdlib-0_6"}},"0.5":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_5.zip",tag:"0_5",dir:"agda-stdlib-0_5"}},"0.4":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_4.zip",tag:"0_4",dir:"agda-stdlib-0_4"}},"0.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_3.zip",tag:"0_3",dir:"agda-stdlib-0_3"}},"0.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_2.zip",tag:"0_2",dir:"agda-stdlib-0_2"}},"0.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_1.zip",tag:"0_1",dir:"agda-stdlib-0_1"}}};var rw={"Agda:exe:agda":{exe:"agda"},"Agda:exe:agda-mode":{exe:"agda-mode"}};var P0={nightly:{binary:{macos:{x64:[{url:"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-macOS.tar.xz",dir:"Agda-nightly"}]},linux:{x64:[{url:"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-linux.tar.xz",dir:"Agda-nightly"}]},windows:{x64:[{url:"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-win64.zip",dir:"Agda-nightly"}]}},compatibility:{"agda-stdlib":"2.1"}},"2.7.0":{binary:{macos:{arm64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-arm64-macos-14-ghc9.8.2-icu74.2.zip",sha256:"6e46324b8425a756c0e2d40b977fa93ad767c0ff251da52645ddb5503d909470",target:"macos-14"}],x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-x64-macos-12-ghc9.10.1-icu74.2.zip",sha256:"35f1c8ac02d8be43c3ecdc223bed3acf143cb4e32bf43e6c24ac616cc7f5a668",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-x64-ubuntu-20.04-ghc9.10.1-icu66.1.zip",sha256:"f90a1fb7ac1bb7535dc8c2640c9ebe22fdeb3dd85c6f5150c245b9b5d6da1056",target:"ubuntu-20.04"},{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-x64-ubuntu-22.04-ghc9.10.1-icu70.1.zip",sha256:"6595c7ff4a4f8821974d7cf06e011b96fd91d86eb54ed51930dc54be167c318b",target:"ubuntu-22.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-x64-windows-2022-ghc9.10.1-icu75.1.zip",sha256:"1b8f46e07e5a8f9bf6b09e0d5f46a6fe56d90393f4425ad3101dc0952d262c74",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"2.1",ghc:"8.6.5 - 9.10.1"},configuration:{macos:`--flags=+enable-cluster-counting +`}},outputs:{"agda-version":{description:"The resolved Agda version."},"agda-path":{description:"The path of the agda executable _directory_."},"agda-data-path":{description:"The path of the agda data _directory_."},"agda-exe":{description:"The path of the agda _executable_."},"agda-mode-exe":{description:"The path of the agda-mode _executable_."},"setup-haskell":{description:"Whether or not actions/haskell/setup was called."},"ghc-version":{description:"The resolved version of ghc"},"cabal-version":{description:"The resolved version of cabal"},"stack-version":{description:"The resolved version of stack"},"ghc-exe":{description:"The path of the ghc _executable_"},"cabal-exe":{description:"The path of the cabal _executable_"},"stack-exe":{description:"The path of the stack _executable_"},"ghc-path":{description:"The path of the ghc executable _directory_"},"cabal-path":{description:"The path of the cabal executable _directory_"},"stack-path":{description:"The path of the stack executable _directory_"},"cabal-store":{description:"The path to the cabal store"},"stack-root":{description:"The path to the stack root (equal to the STACK_ROOT environment variable if it is set; otherwise an OS-specific default)"}},runs:{using:"node16",main:"./dist/action.cjs"},branding:{icon:"feather",color:"purple"}};var L0={"2.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v2.1.zip",tag:"v2.1",dir:"agda-stdlib-2.1"}},"2.0":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v2.0.zip",tag:"v2.0",dir:"agda-stdlib-2.0"}},"1.7.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.3.zip",tag:"v1.7.3",dir:"agda-stdlib-1.7.3"}},"1.7.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.2.zip",tag:"v1.7.2",dir:"agda-stdlib-1.7.2"}},"1.7.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.1.zip",tag:"v1.7.1",dir:"agda-stdlib-1.7.1"}},"1.7":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.zip",tag:"v1.7",dir:"agda-stdlib-1.7"}},"1.6":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.6.zip",tag:"v1.6",dir:"agda-stdlib-1.6"}},"1.5":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.5.zip",tag:"v1.5",dir:"agda-stdlib-1.5"}},"1.4":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.4.zip",tag:"v1.4",dir:"agda-stdlib-1.4"}},"1.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.3.zip",tag:"v1.3",dir:"agda-stdlib-1.3"}},"1.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.2.zip",tag:"v1.2",dir:"agda-stdlib-1.2"}},"1.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.1.zip",tag:"v1.1",dir:"agda-stdlib-1.1"}},"1.0.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.0.1.zip",tag:"v1.0.1",dir:"agda-stdlib-1.0.1"}},"1.0":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.0.zip",tag:"v1.0",dir:"agda-stdlib-1.0"}},"0.17":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.17.zip",tag:"v0.17",dir:"agda-stdlib-0.17"}},"0.16":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.16.zip",tag:"v0.16",dir:"agda-stdlib-0.16"}},"0.16.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.16.1.zip",tag:"v0.16.1",dir:"agda-stdlib-0.16.1"}},"0.15":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.15.zip",tag:"v0.15",dir:"agda-stdlib-0.15"}},"0.14":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.14.zip",tag:"v0.14",dir:"agda-stdlib-0.14"}},"0.13":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.13.zip",tag:"v0.13",dir:"agda-stdlib-0.13"}},"0.12":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.12.zip",tag:"v0.12",dir:"agda-stdlib-0.12"}},"0.11":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.11.zip",tag:"v0.11",dir:"agda-stdlib-0.11"}},"0.10":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.10.zip",tag:"v0.10",dir:"agda-stdlib-0.10"}},"0.9":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.9.zip",tag:"v0.9",dir:"agda-stdlib-0.9"}},"0.8.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.8.1.zip",tag:"v0.8.1",dir:"agda-stdlib-0.8.1"}},"0.8":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.8.zip",tag:"v0.8",dir:"agda-stdlib-0.8"}},"0.7":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_7.zip",tag:"0_7",dir:"agda-stdlib-0_7"}},"0.6":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_6.zip",tag:"0_6",dir:"agda-stdlib-0_6"}},"0.5":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_5.zip",tag:"0_5",dir:"agda-stdlib-0_5"}},"0.4":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_4.zip",tag:"0_4",dir:"agda-stdlib-0_4"}},"0.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_3.zip",tag:"0_3",dir:"agda-stdlib-0_3"}},"0.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_2.zip",tag:"0_2",dir:"agda-stdlib-0_2"}},"0.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_1.zip",tag:"0_1",dir:"agda-stdlib-0_1"}}};var rw={"Agda:exe:agda":{exe:"agda"},"Agda:exe:agda-mode":{exe:"agda-mode"}};var P0={nightly:{binary:{macos:{x64:[{url:"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-macOS.tar.xz",dir:"Agda-nightly"}]},linux:{x64:[{url:"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-linux.tar.xz",dir:"Agda-nightly"}]},windows:{x64:[{url:"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-win64.zip",dir:"Agda-nightly"}]}},compatibility:{"agda-stdlib":"2.1"}},"2.7.0":{binary:{macos:{arm64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-arm64-macos-14-ghc9.8.2-icu74.2.zip",sha256:"6e46324b8425a756c0e2d40b977fa93ad767c0ff251da52645ddb5503d909470",target:"macos-14"}],x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-macos-12-ghc9.10.1-icu74.2.zip",sha256:"35f1c8ac02d8be43c3ecdc223bed3acf143cb4e32bf43e6c24ac616cc7f5a668",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-ubuntu-20.04-ghc9.10.1-icu66.1.zip",sha256:"f90a1fb7ac1bb7535dc8c2640c9ebe22fdeb3dd85c6f5150c245b9b5d6da1056",target:"ubuntu-20.04"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-ubuntu-22.04-ghc9.10.1-icu70.1.zip",sha256:"6595c7ff4a4f8821974d7cf06e011b96fd91d86eb54ed51930dc54be167c318b",target:"ubuntu-22.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-windows-2022-ghc9.10.1-icu75.1.zip",sha256:"1b8f46e07e5a8f9bf6b09e0d5f46a6fe56d90393f4425ad3101dc0952d262c74",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"2.1",ghc:"8.6.5 - 9.10.1"},configuration:{macos:`--flags=+enable-cluster-counting --flags=+optimise-heavily `,linux:`--enable-split-sections --flags=+enable-cluster-counting --flags=+optimise-heavily `,windows:`--enable-split-sections --flags=+enable-cluster-counting -`}},"2.6.4.3":{binary:{macos:{arm64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.3-arm64-macos-14-ghc9.4.4-icu74.2.zip",sha256:"82c7c67450119214261dbbba2b7ae759d139f77aae7eee46f38b5772e8c1064f",target:"macos-14"}],x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.3-x64-macos-11-ghc9.8.1-icu73.2.zip",sha256:"44e5e7cf6db1c7e01b85895cf0f9fb35c5e7563b3111bd8994c8c51a80ebc97c",target:"macos-11"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.3-x64-ubuntu-20.04-ghc9.8.1-icu66.1.zip",sha256:"0fb040d7aaf1b86ece7bb20ebf8e42b1b398067d3e39cca16511ba842abd8f44",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.3-x64-windows-2022-ghc9.8.1-icu74.2.zip",sha256:"594b38f300cdeb31071f2ad4110e21ee24efb349b605c4f52353bb39ffaf8521",target:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip"}]}},compatibility:{"agda-stdlib":"1.7.3 - 2.0",ghc:"8.6.5 - 9.8.1"},configuration:{macos:`--flags=+enable-cluster-counting +`}},"2.6.4.3":{binary:{macos:{arm64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-arm64-macos-14-ghc9.4.4-icu74.2.zip",sha256:"82c7c67450119214261dbbba2b7ae759d139f77aae7eee46f38b5772e8c1064f",target:"macos-14"}],x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-macos-12-ghc9.8.1-icu73.2.zip",sha256:"d8303e5a8d6557d543470617f07ed9a0932b1bd50d7946a398e88af6f664c1be",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-ubuntu-20.04-ghc9.8.1-icu66.1.zip",sha256:"0fb040d7aaf1b86ece7bb20ebf8e42b1b398067d3e39cca16511ba842abd8f44",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-windows-2022-ghc9.8.1-icu74.2.zip",sha256:"594b38f300cdeb31071f2ad4110e21ee24efb349b605c4f52353bb39ffaf8521",target:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip"}]}},compatibility:{"agda-stdlib":"1.7.3 - 2.0",ghc:"8.6.5 - 9.8.1"},configuration:{macos:`--flags=+enable-cluster-counting --flags=+optimise-heavily `,linux:`--enable-split-sections --flags=+enable-cluster-counting --flags=+optimise-heavily `,windows:`--enable-split-sections --flags=+enable-cluster-counting -`}},"2.6.4.1":{binary:{macos:{arm64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-arm64-macos-14-ghc9.4.4-icu74.2.zip",sha256:"1dc9ee02d9c774113f3ed5d31f95d9efdddad86139b5321e791acee6198c3368",target:"macos-14"}],x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-x64-macos-11-ghc9.4.7-icu73.2.zip",sha256:"aa716b624d8351fb962600f9a95fad3a17bbb0ea969d32b636c27c567b4b2cc5",target:"macos-11"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1.zip",sha256:"22adb4ee6be4ecafd7bc1efc91121944de18cc988e8098e8474f4c8bf67fb004",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.1.zip",sha256:"19a761f43e0370f8e82e4ea7dd80e4b222e12b9b0a1e1539bf8d6d08d5188e81",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.3 - 2.0",ghc:"8.6.5 - 9.8.1"},configuration:{macos:`--flags=+enable-cluster-counting +`}},"2.6.4.1":{binary:{macos:{arm64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-arm64-macos-14-ghc9.4.4-icu74.2.zip",sha256:"1dc9ee02d9c774113f3ed5d31f95d9efdddad86139b5321e791acee6198c3368",target:"macos-14"}],x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-12-ghc9.4.7-icu73.2.zip",sha256:"d56b21198cc87b05634501535c26980604dbed9459255643ede054dda6e96889",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1.zip",sha256:"22adb4ee6be4ecafd7bc1efc91121944de18cc988e8098e8474f4c8bf67fb004",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.1.zip",sha256:"19a761f43e0370f8e82e4ea7dd80e4b222e12b9b0a1e1539bf8d6d08d5188e81",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.3 - 2.0",ghc:"8.6.5 - 9.8.1"},configuration:{macos:`--flags=+enable-cluster-counting --flags=+optimise-heavily `,linux:`--enable-split-sections --flags=+enable-cluster-counting --flags=+optimise-heavily `,windows:`--enable-split-sections --flags=+enable-cluster-counting -`}},"2.6.4":{binary:{macos:{arm64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4-arm64-macos-14-ghc9.4.4-icu74.2.zip",sha256:"8f936b4d6d1c77fbd77e8ec03f85aa736fbce0f021b3dce8c8f76d61ed470444",target:"macos-14"}],x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4-x64-macos-11-ghc9.4.7-icu73.2.zip",sha256:"6870daaee3beebe7fd7dc194a2616e23a0d24b3577f3e578c4d507d5b3313e6b",target:"macos-11"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4-x64-ubuntu-20.04-ghc9.6.3-icu66.1.zip",sha256:"16b4bb129ea44c5c5bb84ac20016519af08c6e38999c9677052a8845c7b90e11",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4-x64-windows-2022-ghc9.6.3-icu73.2.zip",sha256:"123f7f0791903919b0fded935f3e620f1d4400fd1f16e44ac5346a512f6cbd17",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.3",ghc:"8.6.5 - 9.6.3"},configuration:{macos:`--flags=+enable-cluster-counting +`}},"2.6.4":{binary:{macos:{arm64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-arm64-macos-14-ghc9.4.4-icu74.2.zip",sha256:"8f936b4d6d1c77fbd77e8ec03f85aa736fbce0f021b3dce8c8f76d61ed470444",target:"macos-14"}],x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-macos-12-ghc9.6.3-icu73.2.zip",sha256:"54911fff70bbae66cea42a4b8e9c467860211a555c53efc584a554ca3e657b5e",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-ubuntu-20.04-ghc9.6.3-icu66.1.zip",sha256:"16b4bb129ea44c5c5bb84ac20016519af08c6e38999c9677052a8845c7b90e11",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-windows-2022-ghc9.6.3-icu73.2.zip",sha256:"123f7f0791903919b0fded935f3e620f1d4400fd1f16e44ac5346a512f6cbd17",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.3",ghc:"8.6.5 - 9.6.3"},configuration:{macos:`--flags=+enable-cluster-counting --flags=+optimise-heavily `,linux:`--enable-split-sections --flags=+enable-cluster-counting --flags=+optimise-heavily `,windows:`--enable-split-sections --flags=+enable-cluster-counting -`}},"2.6.3":{binary:{macos:{arm64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.3-arm64-macos-14-ghc9.4.4-icu74.2.zip",sha256:"918a081c361d0fa858a7ed52498bd14bdb5da7794cc59a3b9fbc3abd4bdac8a2",target:"macos-14"}],x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.3-x64-macos-11-ghc9.4.4-icu72.1.zip",sha256:"ff0ea4f5e57064df1664a251119b78409c2c7f2f84e4592d4c8f85c197401c2d",target:"macos-11"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.3-x64-ubuntu-20.04-ghc9.4.4-icu66.1.zip",sha256:"12d62d4783fb8daaa1a0630fbb68a412ad4c23dc52a33eef0eab6a514d291d08",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.3-x64-windows-2022-ghc9.4.4-icu72.1.zip",sha256:"2143d880a85da0d71951b7471e6f3414f6c07ce6cd70e936fd0451b0b9d46951",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.2",ghc:"8.0.2 - 9.4.4"},configuration:{macos:`--flags=+enable-cluster-counting +`}},"2.6.3":{binary:{macos:{arm64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-arm64-macos-14-ghc9.4.4-icu74.2.zip",sha256:"918a081c361d0fa858a7ed52498bd14bdb5da7794cc59a3b9fbc3abd4bdac8a2",target:"macos-14"}],x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-macos-12-ghc9.4.4-icu72.1.zip",sha256:"ef1aee7f6721ac30402ce7debd8aed0fe883d278a943bcf3f3f0edc3bfbf0df8",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-ubuntu-20.04-ghc9.4.4-icu66.1.zip",sha256:"12d62d4783fb8daaa1a0630fbb68a412ad4c23dc52a33eef0eab6a514d291d08",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-windows-2022-ghc9.4.4-icu72.1.zip",sha256:"2143d880a85da0d71951b7471e6f3414f6c07ce6cd70e936fd0451b0b9d46951",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.2",ghc:"8.0.2 - 9.4.4"},configuration:{macos:`--flags=+enable-cluster-counting --flags=+optimise-heavily `,linux:`--enable-split-sections --flags=+enable-cluster-counting --flags=+optimise-heavily `,windows:`--enable-split-sections --flags=+enable-cluster-counting -`}},"2.6.2.2":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.2-x64-macos-11-ghc9.2.4-icu72.1.zip",sha256:"a72435a774355dd837945a5764bf6778188d387488c356d034ca44bf7f8eec85",target:"macos-11"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip",sha256:"d15b2f41d1d9b6e95f75e388a66e1439610cb6d1cc5c90b3f136e79d020aa367",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip",sha256:"e442bf8ec6e6dc6cbffe6537144878a2eef0057a43c7bdd3a5d4d9828ae20582",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.1",ghc:"8.0 - 9.2"},configuration:{macos:`--flags=+enable-cluster-counting +`}},"2.6.2.2":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-12-ghc9.2.4-icu72.1.zip",sha256:"d1205dd6527033c5011e1800e26bc24dc784d5a761bebebf20da150a70c5de3a",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip",sha256:"d15b2f41d1d9b6e95f75e388a66e1439610cb6d1cc5c90b3f136e79d020aa367",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip",sha256:"e442bf8ec6e6dc6cbffe6537144878a2eef0057a43c7bdd3a5d4d9828ae20582",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.1",ghc:"8.0 - 9.2"},configuration:{macos:`--flags=+enable-cluster-counting --flags=+optimise-heavily `,linux:`--enable-split-sections --flags=+enable-cluster-counting --flags=+optimise-heavily `,windows:`--enable-split-sections --flags=+enable-cluster-counting -`}},"2.6.2.1":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.1-x64-macos-11-ghc9.0.2-icu72.1.zip",sha256:"a63c6465c5251dc7a7bb9336fed995571bcc7c2f89839d16257bc0f8da0182c4",target:"macos-11"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip",sha256:"9182e391336e2359b707deebf11a87b1a098979c053ddfd1468c3485bee064d6",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip",sha256:"1bdbc325826268bbd8289cc0737dbab3390e4767da13c269c22847a45d1df86a",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.1",ghc:"8.0 - 9.2"},configuration:{macos:`--flags=+enable-cluster-counting +`}},"2.6.2.1":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-12-ghc9.0.2-icu72.1.zip",sha256:"d10863cba4aa7cf7a539f6a6922846be1773cac8bc2bea76d773a007fff60510",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip",sha256:"9182e391336e2359b707deebf11a87b1a098979c053ddfd1468c3485bee064d6",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip",sha256:"1bdbc325826268bbd8289cc0737dbab3390e4767da13c269c22847a45d1df86a",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.1",ghc:"8.0 - 9.2"},configuration:{macos:`--flags=+enable-cluster-counting --flags=+optimise-heavily `,linux:`--enable-split-sections --flags=+enable-cluster-counting --flags=+optimise-heavily `,windows:`--enable-split-sections --flags=+enable-cluster-counting -`}},"2.6.2":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2-x64-macos-11-ghc9.0.2-icu72.1.zip",sha256:"37e20554406421132c7ee68c13cc3d325c081ed9d5bcd842d52f181b53b076fc",target:"macos-11"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip",sha256:"272c7f465eff8e4a4b3946415131d29977966f8543013d876b5d36ecea7f29af",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip",sha256:"be38e10485e6d3a2836d330a7e08de6993b5ce112803f4efa56c11a0c15eeffa",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7 - 1.7.1",ghc:"8.0 - 9.0"},configuration:{macos:`--flags=+enable-cluster-counting +`}},"2.6.2":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-12-ghc9.0.2-icu72.1.zip",sha256:"d45220cf1c8204483dfe0b97aeaa13127e70d9b80811de2b3b92219606647cb2",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip",sha256:"272c7f465eff8e4a4b3946415131d29977966f8543013d876b5d36ecea7f29af",target:"ubuntu-20.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip",sha256:"be38e10485e6d3a2836d330a7e08de6993b5ce112803f4efa56c11a0c15eeffa",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7 - 1.7.1",ghc:"8.0 - 9.0"},configuration:{macos:`--flags=+enable-cluster-counting --flags=+optimise-heavily `,linux:`--enable-split-sections --flags=+enable-cluster-counting --flags=+optimise-heavily `,windows:`--enable-split-sections --flags=+enable-cluster-counting -`}},"2.6.1.3":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.1.3-x64-macos-11-ghc8.10.7-icu72.1.zip",sha256:"ebd241eeb7951f1e227bdd668683c5362402ab32484cb888d0ec22f9a75f2a1c",target:"macos-11"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip",sha256:"7632e8a38ad01129e342c0b4b25160a20865566ab8b48422a6bd520120882001",target:"ubuntu-20.04"}]},windows:{x64:[]}},compatibility:{"agda-stdlib":"1.5 - 1.6",ghc:"8.0 - 8.10"},configuration:{macos:`--flags=+enable-cluster-counting +`}},"2.6.1.3":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-12-ghc8.10.7-icu72.1.zip",sha256:"1828e2ae06621d70acb8c0fa5c6bf8fb14b40a4be34d26c5a69c1c40b712717d",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip",sha256:"7632e8a38ad01129e342c0b4b25160a20865566ab8b48422a6bd520120882001",target:"ubuntu-20.04"}]},windows:{x64:[]}},compatibility:{"agda-stdlib":"1.5 - 1.6",ghc:"8.0 - 8.10"},configuration:{macos:`--flags=+enable-cluster-counting `,linux:`--enable-split-sections --flags=+enable-cluster-counting `,windows:`--enable-split-sections --flags=+enable-cluster-counting -`}},"2.6.0.1":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.0.1-x64-macos-11-ghc8.6.5-icu72.1.zip",sha256:"0831433eeac32c0dced3358ecbcd6b6fe84015e9c331e87a4e0b15eb9ec0d7a6",target:"macos-11"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip",sha256:"4e248165fa319878468a77c1cb037101712e6ea08d21d611cc327fc220cda14c",target:"ubuntu-20.04"}]},windows:{x64:[]}},compatibility:{"agda-stdlib":"1.0.1 - 1.2",ghc:"7.10 - 8.6"},configuration:`--flags=+enable-cluster-counting -`},"2.5.4.2":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu73.2.zip",sha256:"c1b82a2b2d3004860fcc009452c5feb1deea188226a06452acdfaf50b0131fbc",target:"macos-11"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip",sha256:"5be8ca3253954c5602222936fd6901c5743bf56c19eb055a04f31e17564c4215",target:"ubuntu-20.04"}]},windows:{x64:[]}},compatibility:{"agda-stdlib":"0.17",ghc:"7.10 - 8.4"},configuration:`--flags=+enable-cluster-counting -`},"2.5.3":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.3-x64-macos-11-ghc8.2.2-icu73.2.zip",sha256:"0c414283faf3224ecebd50ea06a818b90cd44c1d17a4243102721735a9954eb2",target:"macos-11"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip",sha256:"6a450bd50e7f403caf1d4e63d6381fc9fe0109053686b7e0b8a0ad5ba1eca9a1",target:"ubuntu-20.04"}]},windows:{x64:[]}},compatibility:{"agda-stdlib":"0.14 - 0.15",ghc:"7.8 - 8.2"},configuration:`--allow-newer=Cabal +`}},"2.6.0.1":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-12-ghc8.6.5-icu72.1.zip",sha256:"19e8a75237940f4ab28cd19e74e08f000a88c7f448c700a922399456c7e86aec",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip",sha256:"4e248165fa319878468a77c1cb037101712e6ea08d21d611cc327fc220cda14c",target:"ubuntu-20.04"}]},windows:{x64:[]}},compatibility:{"agda-stdlib":"1.0.1 - 1.2",ghc:"7.10 - 8.6"},configuration:`--flags=+enable-cluster-counting +`},"2.5.4.2":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu73.2.zip",sha256:"759d73ebd3e9c3a8cd681e253400d2b19afbb2039d39bbda69899d39c354ad01",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip",sha256:"5be8ca3253954c5602222936fd6901c5743bf56c19eb055a04f31e17564c4215",target:"ubuntu-20.04"}]},windows:{x64:[]}},compatibility:{"agda-stdlib":"0.17",ghc:"7.10 - 8.4"},configuration:`--flags=+enable-cluster-counting +`},"2.5.3":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-12-ghc8.2.2-icu73.2.zip",sha256:"56f51922411cdf086cda921a8217b64a8cc23c659b1b4b99719eeb7632c42d1e",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip",sha256:"6a450bd50e7f403caf1d4e63d6381fc9fe0109053686b7e0b8a0ad5ba1eca9a1",target:"ubuntu-20.04"}]},windows:{x64:[]}},compatibility:{"agda-stdlib":"0.14 - 0.15",ghc:"7.8 - 8.2"},configuration:`--allow-newer=Cabal --flags=+enable-cluster-counting -`},"2.5.2":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.2-x64-macos-11-ghc8.0.2.zip",sha256:"922533fed4853ef07c6250075c3c0792fd36f930735a11852e3d990532f9487a",target:"macos-11"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip",sha256:"6db78288847727714bafd1b8a4b493d40d8e4492990951bda9f893b3b73e6747",target:"ubuntu-20.04"}]},windows:{x64:[]}},compatibility:{"agda-stdlib":"0.13",ghc:"7.6 - 8.0"}},"2.5.1.2":{compatibility:{"agda-stdlib":"0.12",ghc:"7.6 - 8.0"}},"2.4.2.5":{compatibility:{"agda-stdlib":"0.11",ghc:"7.6 - 7.10"}},"2.4.2.4":{compatibility:{"agda-stdlib":"0.11",ghc:"7.6 - 7.10"}},"2.4.2.3":{compatibility:{"agda-stdlib":"0.10",ghc:"7.4 - 7.10"}},"2.4.2.2":{compatibility:{"agda-stdlib":"0.9",ghc:"7.0 - 7.8"}},"2.4.2.1":{compatibility:{"agda-stdlib":"0.9",ghc:"7.0 - 7.8"}},"2.4.2":{compatibility:{"agda-stdlib":"0.8.1",ghc:"7.0 - 7.8"}},"2.4.0.2":{compatibility:{"agda-stdlib":"0.8",ghc:"7.0 - 7.8"}},"2.4.0.1":{compatibility:{"agda-stdlib":"0.8",ghc:"7.0 - 7.8"}},"2.4.0":{compatibility:{"agda-stdlib":"0.8",ghc:"7.0 - 7.8"}},"2.3.2.2":{compatibility:{"agda-stdlib":"0.7"}},"2.3.2.1":{compatibility:{"agda-stdlib":"0.7"}},"2.3.2":{compatibility:{"agda-stdlib":"0.7"}},"2.3.0.1":{compatibility:{"agda-stdlib":"0.6"}},"2.3.0":{compatibility:{"agda-stdlib":"0.6"}},"2.2.10":{compatibility:{"agda-stdlib":"0.5"}},"2.2.8":{compatibility:{"agda-stdlib":"0.4"}},"2.2.6":{compatibility:{"agda-stdlib":"0.3"}},"2.2.4":{compatibility:{"agda-stdlib":"0.2"}},"2.2.2":{compatibility:{"agda-stdlib":"0.1"}},"2.2.0":{compatibility:{"agda-stdlib":"0.1"}}};var nw={name:"Setup Haskell",description:"Set up a specific version of GHC and Cabal and add the command-line tools to the PATH",author:"GitHub",inputs:{"ghc-version":{required:!1,description:'Version of GHC to use. If set to "latest", it will always get the latest stable version. If set to "head", it will always get the latest build of GHC.',default:"latest"},"cabal-version":{required:!1,description:'Version of Cabal to use. If set to "latest", it will always get the latest stable version. If set to "head", it will always get the latest build of cabal.',default:"latest"},"stack-version":{required:!1,description:'Version of Stack to use. If set to "latest", it will always get the latest stable version.',default:"latest"},"enable-stack":{required:!1,description:"If specified, will setup Stack."},"stack-no-global":{required:!1,description:"If specified, enable-stack must be set. Prevents installing GHC and Cabal globally."},"stack-setup-ghc":{required:!1,description:"If specified, enable-stack must be set. Will run stack setup to install the specified GHC."},"cabal-update":{required:!1,default:!0,description:"Set to `false` to prevent `cabal update` from being run."},"ghcup-release-channel":{required:!1,description:"A release channel URL to add to ghcup via `ghcup config add-release-channel`."},"disable-matcher":{required:!1,description:"If specified, disables match messages from GHC as GitHub CI annotations."}},outputs:{"ghc-version":{description:"The resolved version of ghc"},"cabal-version":{description:"The resolved version of cabal"},"stack-version":{description:"The resolved version of stack"},"ghc-exe":{description:"The path of the ghc _executable_"},"cabal-exe":{description:"The path of the cabal _executable_"},"stack-exe":{description:"The path of the stack _executable_"},"ghc-path":{description:"The path of the ghc executable _directory_"},"cabal-path":{description:"The path of the cabal executable _directory_"},"stack-path":{description:"The path of the stack executable _directory_"},"cabal-store":{description:"The path to the cabal store"},"stack-root":{description:"The path to the stack root (equal to the STACK_ROOT environment variable if it is set; otherwise an OS-specific default)"}},runs:{using:"node20",main:"dist/index.js"}};var F0={ghc:["9.8.2","9.8.1","9.6.4","9.6.3","9.6.2","9.6.1","9.4.8","9.4.7","9.4.6","9.4.5","9.4.4","9.4.3","9.4.2","9.4.1","9.2.8","9.2.7","9.2.6","9.2.5","9.2.4","9.2.3","9.2.2","9.2.1","9.0.2","9.0.1","8.10.7","8.10.6","8.10.5","8.10.4","8.10.3","8.10.2","8.10.1","8.8.4","8.8.3","8.8.2","8.8.1","8.6.5","8.6.4","8.6.3","8.6.2","8.6.1","8.4.4","8.4.3","8.4.2","8.4.1","8.2.2","8.0.2","7.10.3"],cabal:["3.10.3.0","3.10.2.1","3.10.2.0","3.10.1.0","3.8.1.0","3.6.2.0","3.6.0.0","3.4.1.0","3.4.0.0","3.2.0.0","3.0.0.0","2.4.1.0"],stack:["2.15.3","2.15.1","2.13.1","2.11.1","2.9.3","2.9.1","2.7.5","2.7.3","2.7.1","2.5.1","2.3.3","2.3.1","2.1.3","2.1.1","1.9.3","1.9.1","1.7.1","1.6.5","1.6.3","1.6.1","1.5.1","1.5.0","1.4.0","1.3.2","1.3.0","1.2.0"],ghcup:["0.1.22.0"]};c();St();async function vi(e,t){await F("ghc",e,t)}vi.getInfo=async e=>{let{stdout:t}=await F("ghc",["--info"],e),i=JSON.parse(t.replace(/\(/g,"[").replace(/\)/g,"]"));return Object.fromEntries(i.map(r=>[`ghc-info-${r[0].toLowerCase().replace(/ /g,"-")}`,r[1]]))};vi.getVersion=async()=>{let{stdout:e}=await F("ghc",["--numeric-version"]);return e};vi.maybeGetVersion=async()=>{try{return await vi.getVersion()}catch(e){return a.info(`Could not get installed GHC version: ${J(e).message}`),null}};St();c();function Ki(e){return e.split(/\r?\n/g).map(t=>t.trim()).filter(t=>t.length>0)}c();function Xr(e){return e.split(".").map(t=>t.split("_").map(parseInt))}function ow(e){if(e.includes("-")){let[t,i]=e.split("-",2);return[Xr(t),Xr(i)]}else{let t=Xr(e);return[t,t]}}function k0(e,t){let i=typeof e=="string"?Xr(e):e,r=typeof t=="string"?Xr(t):t;for(let n=0;nl)return 1;if(ddV(i,t)))}function Jp(e){let t=e.map(r=>typeof r=="string"?Xr(r):r),i=null;for(let r of t)(i===null||sV(i,r))&&(i=r);return i===null?null:pV(i)}var lre=tw.version,Le=rw;if(Y==="windows")for(let e of Object.keys(Le))Le[e].exe+=".exe";var Qp=Object.keys(P0);function Rn(e){return Qp.includes(e)}function j0(e){return e==="HEAD"}function lV(e){return Rn(e)||j0(e)||e==="latest"||e==="nightly"}function uV(e){if(e==="latest"){let t=Jp(Qp);return(0,Jr.default)(t!==null,["Could not resolve latest Agda version",`from list of known versions ${Qp.join(", ")}`].join(" ")),(0,Jr.default)(Rn(t),[`Resolved latest Agda version to version '${t}'`,`not in list of known versions ${Qp.join(", ")}`].join(" ")),t}else return e}var Ns=Object.keys(L0);function q0(e){return Ns.includes(e)}function cV(e){return q0(e)||e==="recommended"||e==="latest"||e==="experimental"||e==="none"}function mV(e,t){var i;if(t==="none")return t;if(t==="latest"){let r=Jp(Ns);return(0,Jr.default)(r!==null,["Could not resolve latest agda-stdlib version",`from list of known versions [${Ns.join(", ")}]`].join(" ")),(0,Jr.default)(q0(r),[`Resolved latest agda-stdlib version to version '${r}'`,`not in list of known versions [${Ns.join(", ")}]`].join(" ")),a.info(`Resolved latest Agda version to ${r}`),r}else if(t==="recommended"){if(e==="HEAD"||e==="nightly")return"experimental";{let r=(i=Dn[e].compatibility)==null?void 0:i["agda-stdlib"];if(r===void 0)throw Error(`No known compatible agda-stdlib versions for ${e}; check Agda.yml?`);let n=pw(Ns,r);return(0,Jr.default)(n!==null,["Could not resolve recommended agda-stdlib version",`from compatible versions ${r}`].join(" ")),(0,Jr.default)(q0(n),[`Resolved recommended agda-stdlib version to version '${n}'`,`not in list of compatible versions ${r}`].join(" ")),n}}else return t}async function fV(e,t){var i;if(t==="recommended"){let r=e==="HEAD"?"*":(i=Dn[e].compatibility)==null?void 0:i.ghc;if(r===void 0)throw Error(`No known compatible GHC versions for Agda ${e}`);let n=await vi.maybeGetVersion();if(n!==null&&Zp.default.satisfies(n,r))return n;let o=Zp.default.maxSatisfying(F0.ghc,r);if(o===null)throw Error(`Cannot find GHC version satisfying '${r}'`);return o}else if(t==="latest"){let r=Zp.default.maxSatisfying(F0.ghc,"*");return(0,Jr.default)(r!==null),r}else return t}function hV(e,t){switch(e){case"HEAD":return"";case"nightly":return"";default:{let i=r=>Ki(r).map(n=>n.trim()).join(" ");switch(t){case"none":return"";case"recommended":{let{configuration:r}=Dn[e];return r===void 0?"":i(typeof r=="string"?r:r[Y])}default:return i(t)}}}}var Dn=P0,lw=L0;function vV(e,t){let i=typeof t=="function"?t:o=>t[o],r=o=>![void 0,null,!1,"false",""].includes(i(o)),n={};for(let[o,s]of Object.entries(e)){let p=s.default;n[o]=p===void 0?r(o):i(o)??p}return n}function uw(e){let t=vV(iw.inputs,e),i=t["agda-version"];if(!lV(i))throw Error(`Unknown Agda version '${i}'`);let r=uV(i),n=t["agda-stdlib-version"];if(!cV(n))throw Error(`Unknown Agda version '${i}'`);let o=mV(r,n);return{...t,"agda-version":r,"agda-stdlib-version":o}}function gV(e){let t=e["bundle-name"].split(/\r?\n/g).map(i=>i.trim()).join("");try{let i=$0.default.configure({autoescape:!1,throwOnUndefined:!0}),r=new $0.default.Template(t,i,void 0,!0);return{...(0,V0.default)(e,["bundle","bundle-compress","bundle-license-report"]),"bundle-name":t,"bundle-name-template":r}}catch(i){throw Error([`Could not parse bundle name '${t}':`,J(i).message].join(dw.default.EOL))}}async function cw(e){let t=e["agda-version"];if(t==="nightly")throw Error("Cannot build Agda version 'nightly'; did you mean 'HEAD'?");let i=M0(e),r=i["ghc-version"],n=await fV(t,r),o=hV(t,e["configure-options"]);if(i["stack-no-global"])throw Error("Value `true` for input `stack-no-global` is unsupported.");let s=e.bundle?gV(e):void 0;return{...i,"agda-version":t,"configure-options":o,"ghc-version":n,"bundle-options":s}}function mw(e){let t=e["agda-version"];if(t==="HEAD")throw Error("Cannot build Agda version 'HEAD'; did you mean 'nightly'?");return{"agda-version":t}}function M0(e){let t=Object.keys(nw.inputs);return(0,V0.default)(e,t)}c();var hw=x(Fi(),1),G0=x(require("node:path"),1);c();var vr=x(li(),1),fw=x(Fi(),1),We=x(require("node:path"),1);async function qe(e,t){let[i,r]=U0(t);await F(i,e,r)}qe.readLibrariesSync=()=>{if(!vr.default.existsSync(Oa()))return[];let e=vr.default.readFileSync(Oa()).toString();return Ki(e).map(i=>We.parse(i))};qe.readDefaultsSync=()=>{if(!vr.default.existsSync(Na()))return[];let e=vr.default.readFileSync(Na()).toString();return Ki(e)};qe.readExecutablesSync=()=>{if(!vr.default.existsSync(_n()))return[];let e=vr.default.readFileSync(_n()).toString();return Ki(e)};function U0(e){var r;let t=(e==null?void 0:e.agdaPath)??Le["Agda:exe:agda"].exe,i=((r=e==null?void 0:e.env)==null?void 0:r.Agda_datadir)===void 0&&process.env.Agda_datadir!==void 0;if((e==null?void 0:e.agdaDataDir)!==void 0||i){let n=We.normalize(We.join(We.dirname(We.resolve(t)),"..","data"));e={...e,env:{...(e==null?void 0:e.env)??process.env,Agda_datadir:(e==null?void 0:e.agdaDataDir)??n}}}return[t,{...e}]}qe.getVersion=async e=>{let[t,i]=U0(e),{stdout:r}=await F(t,["--version"],i);if(r.startsWith("Agda version "))return r.substring(13).trim();throw Error(`Could not parse Agda version: '${r}'`)};qe.getDataDir=async e=>{var n,o;let[t,i]=U0(e),r=await qe.getVersion(e);if(Xp(r,"2.6.2")){let{stdout:s}=await F(t,["--print-agda-dir"],i);return s}else{let s=(e==null?void 0:e.agdaDataDir)??((n=e==null?void 0:e.env)==null?void 0:n.Agda_datadir);if(s!==void 0)return s;let p=(e==null?void 0:e.agdaPath)??null;if(p===null&&(p=await F.which(Le["Agda:exe:agda"].exe,{path:(o=e==null?void 0:e.env)==null?void 0:o.PATH}),p===null))throw Error("Could not find Agda executable; did you add Agda to the PATH?");return We.join(We.basename(p),"..","data")}};qe.getInstalledVersions=()=>fw.default.sync(We.join(Zo(),"agda","*")).flatMap(e=>{let t=We.basename(e);return Rn(t)?[t]:[]});qe.getSetVersion=()=>{let e=We.join(l8(),Le["Agda:exe:agda"].exe);if(vr.default.existsSync(e)){let t=vr.default.realpathSync(e),i=We.dirname(t),r=We.dirname(i),n=We.basename(r);return Rn(n)?n:null}else return null};async function Is(e){let t=await qe.getVersion(e);a.debug(`Found Agda version ${t}`);let i=await qe.getDataDir(e);a.debug(`Found Agda data directory at ${i}`);for(let r of hw.default.sync(G0.default.join(i,"lib","prim","**","*.agda")))a.debug(`Compiling ${r}`),await qe(["-v0",r],{...e,cwd:G0.default.join(i,"lib","prim")})}c();var vw=x(require("node:assert"),1);async function za(e,t){(0,vw.default)(Y!=="windows","MSYS2 does not support chmod"),await F("chmod",e,t)}c();async function ed(e,t){await F("xattr",e,t)}St();c();var gw=x(require("node:os"),1),Ln=class extends Error{constructor(t){typeof t=="string"?super(`Unsupported library specification: ${t}`):super(`Unsupported library specification: ${t.href}`),Object.setPrototypeOf(this,Ln.prototype)}},Wa=class extends Error{constructor(t){super(`Missing library version tag in ${t.href}`),Object.setPrototypeOf(this,Wa.prototype)}},Ya=class extends Error{constructor(t){super(`Installation directory ${t} exists`),Object.setPrototypeOf(this,Ya.prototype)}},Ka=class extends Error{constructor(t){super(`Could not find an .agda-lib file in ${t}`),Object.setPrototypeOf(this,Ka.prototype)}};var Zr=class extends Error{constructor(t,i,r){r instanceof Zr?super(r.message):(typeof i=="string"&&(i={url:i}),super([`Rejected distribution for Agda ${t} at ${i.url}:`,r.message].join(gw.EOL))),Object.setPrototypeOf(this,Zr.prototype)}},Xa=class extends Error{constructor(t){super(`Rejected all distributions for Agda ${t}`),Object.setPrototypeOf(this,Xa.prototype)}},Ja=class extends Error{constructor(t,i,r){super([`${t} ${i} require GHC ${r},`,"no GHC version could be found"].join(" ")),Object.setPrototypeOf(this,Ja.prototype)}},Za=class extends Error{constructor(t){super(`Could not find GHC version constraint for Agda ${t}`),Object.setPrototypeOf(this,Za.prototype)}},Qa=class extends Error{constructor(t,i,r,n){super([`${t} ${i} require GHC ${r},`,`but the current GHC version is ${n}`].join(" ")),Object.setPrototypeOf(this,Qa.prototype)}};async function H0(e){var i,r;let t=(r=(i=Dn[e["agda-version"]].binary)==null?void 0:i[Y])==null?void 0:r[Xo];if(t===void 0||t.length===0)throw Error(`Could not find a binary distribution for ${Xo}-${Y}`);for(let n of t)try{let o=await Wr(n);await yV(o),a.debug("Testing binary distribution");try{let p=Le["Agda:exe:agda"].exe,d=gr.join(o,"bin",p),l=gr.join(o,"data");await Is({agdaPath:d,agdaDataDir:l})}catch(p){throw new Zr(e["agda-version"],n,J(p))}let s=e.dest??Vi(e["agda-version"]);if(td.default.existsSync(s))throw new Ya(s);await td.default.mkdirp(gr.dirname(s)),await td.default.copy(o,s);return}catch(o){a.warning(new Zr(e["agda-version"],n,J(o)));continue}throw new Xa(e["agda-version"])}async function yV(e){switch(Y){case"linux":{for(let t of Object.values(Le))a.debug(`Repair permissions for ${t.exe}`),await za(["+x",gr.join(e,"bin",t.exe)]);break}case"macos":{for(let i of Object.values(Le))await za(["+x",gr.join(e,"bin",i.exe)]),await ed(["-c",gr.join(e,"bin",i.exe)]);let t=yw.default.sync(gr.join(e,"lib","*"));for(let i of t)await za(["+w",i]),await ed(["-c",i]),await za(["-w",i]);break}}}c();St();var Lw=x(require("node:assert"),1),mt=x(li(),1),e2=x(require("node:os"),1),Ii=x(require("node:path"),1),Pw=require("node:stream/promises"),Fw=x(D0(),1),kw=x(x1(),1);var id={licenses:{gmp:`GNU LESSER GENERAL PUBLIC LICENSE +`},"2.5.2":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-macos-12-ghc8.0.2.zip",sha256:"824733b1631c6f11d136ee81e76def02fe74f72acf8cbb74323012decb58e792",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip",sha256:"6db78288847727714bafd1b8a4b493d40d8e4492990951bda9f893b3b73e6747",target:"ubuntu-20.04"}]},windows:{x64:[]}},compatibility:{"agda-stdlib":"0.13",ghc:"7.6 - 8.0"}},"2.5.1.2":{compatibility:{"agda-stdlib":"0.12",ghc:"7.6 - 8.0"}},"2.4.2.5":{compatibility:{"agda-stdlib":"0.11",ghc:"7.6 - 7.10"}},"2.4.2.4":{compatibility:{"agda-stdlib":"0.11",ghc:"7.6 - 7.10"}},"2.4.2.3":{compatibility:{"agda-stdlib":"0.10",ghc:"7.4 - 7.10"}},"2.4.2.2":{compatibility:{"agda-stdlib":"0.9",ghc:"7.0 - 7.8"}},"2.4.2.1":{compatibility:{"agda-stdlib":"0.9",ghc:"7.0 - 7.8"}},"2.4.2":{compatibility:{"agda-stdlib":"0.8.1",ghc:"7.0 - 7.8"}},"2.4.0.2":{compatibility:{"agda-stdlib":"0.8",ghc:"7.0 - 7.8"}},"2.4.0.1":{compatibility:{"agda-stdlib":"0.8",ghc:"7.0 - 7.8"}},"2.4.0":{compatibility:{"agda-stdlib":"0.8",ghc:"7.0 - 7.8"}},"2.3.2.2":{compatibility:{"agda-stdlib":"0.7"}},"2.3.2.1":{compatibility:{"agda-stdlib":"0.7"}},"2.3.2":{compatibility:{"agda-stdlib":"0.7"}},"2.3.0.1":{compatibility:{"agda-stdlib":"0.6"}},"2.3.0":{compatibility:{"agda-stdlib":"0.6"}},"2.2.10":{compatibility:{"agda-stdlib":"0.5"}},"2.2.8":{compatibility:{"agda-stdlib":"0.4"}},"2.2.6":{compatibility:{"agda-stdlib":"0.3"}},"2.2.4":{compatibility:{"agda-stdlib":"0.2"}},"2.2.2":{compatibility:{"agda-stdlib":"0.1"}},"2.2.0":{compatibility:{"agda-stdlib":"0.1"}}};var nw={name:"Setup Haskell",description:"Set up a specific version of GHC and Cabal and add the command-line tools to the PATH",author:"GitHub",inputs:{"ghc-version":{required:!1,description:'Version of GHC to use. If set to "latest", it will always get the latest stable version. If set to "head", it will always get the latest build of GHC.',default:"latest"},"cabal-version":{required:!1,description:'Version of Cabal to use. If set to "latest", it will always get the latest stable version. If set to "head", it will always get the latest build of cabal.',default:"latest"},"stack-version":{required:!1,description:'Version of Stack to use. If set to "latest", it will always get the latest stable version.',default:"latest"},"enable-stack":{required:!1,description:"If specified, will setup Stack."},"stack-no-global":{required:!1,description:"If specified, enable-stack must be set. Prevents installing GHC and Cabal globally."},"stack-setup-ghc":{required:!1,description:"If specified, enable-stack must be set. Will run stack setup to install the specified GHC."},"cabal-update":{required:!1,default:!0,description:"Set to `false` to prevent `cabal update` from being run."},"ghcup-release-channel":{required:!1,description:"A release channel URL to add to ghcup via `ghcup config add-release-channel`."},"disable-matcher":{required:!1,description:"If specified, disables match messages from GHC as GitHub CI annotations."}},outputs:{"ghc-version":{description:"The resolved version of ghc"},"cabal-version":{description:"The resolved version of cabal"},"stack-version":{description:"The resolved version of stack"},"ghc-exe":{description:"The path of the ghc _executable_"},"cabal-exe":{description:"The path of the cabal _executable_"},"stack-exe":{description:"The path of the stack _executable_"},"ghc-path":{description:"The path of the ghc executable _directory_"},"cabal-path":{description:"The path of the cabal executable _directory_"},"stack-path":{description:"The path of the stack executable _directory_"},"cabal-store":{description:"The path to the cabal store"},"stack-root":{description:"The path to the stack root (equal to the STACK_ROOT environment variable if it is set; otherwise an OS-specific default)"}},runs:{using:"node20",main:"dist/index.js"}};var F0={ghc:["9.8.2","9.8.1","9.6.4","9.6.3","9.6.2","9.6.1","9.4.8","9.4.7","9.4.6","9.4.5","9.4.4","9.4.3","9.4.2","9.4.1","9.2.8","9.2.7","9.2.6","9.2.5","9.2.4","9.2.3","9.2.2","9.2.1","9.0.2","9.0.1","8.10.7","8.10.6","8.10.5","8.10.4","8.10.3","8.10.2","8.10.1","8.8.4","8.8.3","8.8.2","8.8.1","8.6.5","8.6.4","8.6.3","8.6.2","8.6.1","8.4.4","8.4.3","8.4.2","8.4.1","8.2.2","8.0.2","7.10.3"],cabal:["3.10.3.0","3.10.2.1","3.10.2.0","3.10.1.0","3.8.1.0","3.6.2.0","3.6.0.0","3.4.1.0","3.4.0.0","3.2.0.0","3.0.0.0","2.4.1.0"],stack:["2.15.3","2.15.1","2.13.1","2.11.1","2.9.3","2.9.1","2.7.5","2.7.3","2.7.1","2.5.1","2.3.3","2.3.1","2.1.3","2.1.1","1.9.3","1.9.1","1.7.1","1.6.5","1.6.3","1.6.1","1.5.1","1.5.0","1.4.0","1.3.2","1.3.0","1.2.0"],ghcup:["0.1.22.0"]};c();St();async function vi(e,t){await F("ghc",e,t)}vi.getInfo=async e=>{let{stdout:t}=await F("ghc",["--info"],e),i=JSON.parse(t.replace(/\(/g,"[").replace(/\)/g,"]"));return Object.fromEntries(i.map(r=>[`ghc-info-${r[0].toLowerCase().replace(/ /g,"-")}`,r[1]]))};vi.getVersion=async()=>{let{stdout:e}=await F("ghc",["--numeric-version"]);return e};vi.maybeGetVersion=async()=>{try{return await vi.getVersion()}catch(e){return a.info(`Could not get installed GHC version: ${J(e).message}`),null}};St();c();function Ki(e){return e.split(/\r?\n/g).map(t=>t.trim()).filter(t=>t.length>0)}c();function Xr(e){return e.split(".").map(t=>t.split("_").map(parseInt))}function ow(e){if(e.includes("-")){let[t,i]=e.split("-",2);return[Xr(t),Xr(i)]}else{let t=Xr(e);return[t,t]}}function k0(e,t){let i=typeof e=="string"?Xr(e):e,r=typeof t=="string"?Xr(t):t;for(let n=0;nl)return 1;if(ddV(i,t)))}function Jp(e){let t=e.map(r=>typeof r=="string"?Xr(r):r),i=null;for(let r of t)(i===null||sV(i,r))&&(i=r);return i===null?null:pV(i)}var lre=tw.version,Le=rw;if(Y==="windows")for(let e of Object.keys(Le))Le[e].exe+=".exe";var Qp=Object.keys(P0);function Rn(e){return Qp.includes(e)}function j0(e){return e==="HEAD"}function lV(e){return Rn(e)||j0(e)||e==="latest"||e==="nightly"}function uV(e){if(e==="latest"){let t=Jp(Qp);return(0,Jr.default)(t!==null,["Could not resolve latest Agda version",`from list of known versions ${Qp.join(", ")}`].join(" ")),(0,Jr.default)(Rn(t),[`Resolved latest Agda version to version '${t}'`,`not in list of known versions ${Qp.join(", ")}`].join(" ")),t}else return e}var Ns=Object.keys(L0);function q0(e){return Ns.includes(e)}function cV(e){return q0(e)||e==="recommended"||e==="latest"||e==="experimental"||e==="none"}function mV(e,t){var i;if(t==="none")return t;if(t==="latest"){let r=Jp(Ns);return(0,Jr.default)(r!==null,["Could not resolve latest agda-stdlib version",`from list of known versions [${Ns.join(", ")}]`].join(" ")),(0,Jr.default)(q0(r),[`Resolved latest agda-stdlib version to version '${r}'`,`not in list of known versions [${Ns.join(", ")}]`].join(" ")),a.info(`Resolved latest Agda version to ${r}`),r}else if(t==="recommended"){if(e==="HEAD"||e==="nightly")return"experimental";{let r=(i=Dn[e].compatibility)==null?void 0:i["agda-stdlib"];if(r===void 0)throw Error(`No known compatible agda-stdlib versions for ${e}; check Agda.yml?`);let n=pw(Ns,r);return(0,Jr.default)(n!==null,["Could not resolve recommended agda-stdlib version",`from compatible versions ${r}`].join(" ")),(0,Jr.default)(q0(n),[`Resolved recommended agda-stdlib version to version '${n}'`,`not in list of compatible versions ${r}`].join(" ")),n}}else return t}async function fV(e,t){var i;if(t==="recommended"){let r=e==="HEAD"?"*":(i=Dn[e].compatibility)==null?void 0:i.ghc;if(r===void 0)throw Error(`No known compatible GHC versions for Agda ${e}`);let n=await vi.maybeGetVersion();if(n!==null&&Zp.default.satisfies(n,r))return n;let o=Zp.default.maxSatisfying(F0.ghc,r);if(o===null)throw Error(`Cannot find GHC version satisfying '${r}'`);return o}else if(t==="latest"){let r=Zp.default.maxSatisfying(F0.ghc,"*");return(0,Jr.default)(r!==null),r}else return t}function hV(e,t){switch(e){case"HEAD":return"";case"nightly":return"";default:{let i=r=>Ki(r).map(n=>n.trim()).join(" ");switch(t){case"none":return"";case"recommended":{let{configuration:r}=Dn[e];return r===void 0?"":i(typeof r=="string"?r:r[Y])}default:return i(t)}}}}var Dn=P0,lw=L0;function vV(e,t){let i=typeof t=="function"?t:o=>t[o],r=o=>![void 0,null,!1,"false",""].includes(i(o)),n={};for(let[o,s]of Object.entries(e)){let p=s.default;n[o]=p===void 0?r(o):i(o)??p}return n}function uw(e){let t=vV(iw.inputs,e),i=t["agda-version"];if(!lV(i))throw Error(`Unknown Agda version '${i}'`);let r=uV(i),n=t["agda-stdlib-version"];if(!cV(n))throw Error(`Unknown Agda version '${i}'`);let o=mV(r,n);return{...t,"agda-version":r,"agda-stdlib-version":o}}function gV(e){let t=e["bundle-name"].split(/\r?\n/g).map(i=>i.trim()).join("");try{let i=$0.default.configure({autoescape:!1,throwOnUndefined:!0}),r=new $0.default.Template(t,i,void 0,!0);return{...(0,V0.default)(e,["bundle","bundle-compress","bundle-license-report"]),"bundle-name":t,"bundle-name-template":r}}catch(i){throw Error([`Could not parse bundle name '${t}':`,J(i).message].join(dw.default.EOL))}}async function cw(e){let t=e["agda-version"];if(t==="nightly")throw Error("Cannot build Agda version 'nightly'; did you mean 'HEAD'?");let i=M0(e),r=i["ghc-version"],n=await fV(t,r),o=hV(t,e["configure-options"]);if(i["stack-no-global"])throw Error("Value `true` for input `stack-no-global` is unsupported.");let s=e.bundle?gV(e):void 0;return{...i,"agda-version":t,"configure-options":o,"ghc-version":n,"bundle-options":s}}function mw(e){let t=e["agda-version"];if(t==="HEAD")throw Error("Cannot build Agda version 'HEAD'; did you mean 'nightly'?");return{"agda-version":t}}function M0(e){let t=Object.keys(nw.inputs);return(0,V0.default)(e,t)}c();var hw=x(Fi(),1),G0=x(require("node:path"),1);c();var vr=x(li(),1),fw=x(Fi(),1),We=x(require("node:path"),1);async function qe(e,t){let[i,r]=U0(t);await F(i,e,r)}qe.readLibrariesSync=()=>{if(!vr.default.existsSync(Oa()))return[];let e=vr.default.readFileSync(Oa()).toString();return Ki(e).map(i=>We.parse(i))};qe.readDefaultsSync=()=>{if(!vr.default.existsSync(Na()))return[];let e=vr.default.readFileSync(Na()).toString();return Ki(e)};qe.readExecutablesSync=()=>{if(!vr.default.existsSync(_n()))return[];let e=vr.default.readFileSync(_n()).toString();return Ki(e)};function U0(e){var r;let t=(e==null?void 0:e.agdaPath)??Le["Agda:exe:agda"].exe,i=((r=e==null?void 0:e.env)==null?void 0:r.Agda_datadir)===void 0&&process.env.Agda_datadir!==void 0;if((e==null?void 0:e.agdaDataDir)!==void 0||i){let n=We.normalize(We.join(We.dirname(We.resolve(t)),"..","data"));e={...e,env:{...(e==null?void 0:e.env)??process.env,Agda_datadir:(e==null?void 0:e.agdaDataDir)??n}}}return[t,{...e}]}qe.getVersion=async e=>{let[t,i]=U0(e),{stdout:r}=await F(t,["--version"],i);if(r.startsWith("Agda version "))return r.substring(13).trim();throw Error(`Could not parse Agda version: '${r}'`)};qe.getDataDir=async e=>{var n,o;let[t,i]=U0(e),r=await qe.getVersion(e);if(Xp(r,"2.6.2")){let{stdout:s}=await F(t,["--print-agda-dir"],i);return s}else{let s=(e==null?void 0:e.agdaDataDir)??((n=e==null?void 0:e.env)==null?void 0:n.Agda_datadir);if(s!==void 0)return s;let p=(e==null?void 0:e.agdaPath)??null;if(p===null&&(p=await F.which(Le["Agda:exe:agda"].exe,{path:(o=e==null?void 0:e.env)==null?void 0:o.PATH}),p===null))throw Error("Could not find Agda executable; did you add Agda to the PATH?");return We.join(We.basename(p),"..","data")}};qe.getInstalledVersions=()=>fw.default.sync(We.join(Zo(),"agda","*")).flatMap(e=>{let t=We.basename(e);return Rn(t)?[t]:[]});qe.getSetVersion=()=>{let e=We.join(l8(),Le["Agda:exe:agda"].exe);if(vr.default.existsSync(e)){let t=vr.default.realpathSync(e),i=We.dirname(t),r=We.dirname(i),n=We.basename(r);return Rn(n)?n:null}else return null};async function Is(e){let t=await qe.getVersion(e);a.debug(`Found Agda version ${t}`);let i=await qe.getDataDir(e);a.debug(`Found Agda data directory at ${i}`);for(let r of hw.default.sync(G0.default.join(i,"lib","prim","**","*.agda")))a.debug(`Compiling ${r}`),await qe(["-v0",r],{...e,cwd:G0.default.join(i,"lib","prim")})}c();var vw=x(require("node:assert"),1);async function za(e,t){(0,vw.default)(Y!=="windows","MSYS2 does not support chmod"),await F("chmod",e,t)}c();async function ed(e,t){await F("xattr",e,t)}St();c();var gw=x(require("node:os"),1),Ln=class extends Error{constructor(t){typeof t=="string"?super(`Unsupported library specification: ${t}`):super(`Unsupported library specification: ${t.href}`),Object.setPrototypeOf(this,Ln.prototype)}},Wa=class extends Error{constructor(t){super(`Missing library version tag in ${t.href}`),Object.setPrototypeOf(this,Wa.prototype)}},Ya=class extends Error{constructor(t){super(`Installation directory ${t} exists`),Object.setPrototypeOf(this,Ya.prototype)}},Ka=class extends Error{constructor(t){super(`Could not find an .agda-lib file in ${t}`),Object.setPrototypeOf(this,Ka.prototype)}};var Zr=class extends Error{constructor(t,i,r){r instanceof Zr?super(r.message):(typeof i=="string"&&(i={url:i}),super([`Rejected distribution for Agda ${t} at ${i.url}:`,r.message].join(gw.EOL))),Object.setPrototypeOf(this,Zr.prototype)}},Xa=class extends Error{constructor(t){super(`Rejected all distributions for Agda ${t}`),Object.setPrototypeOf(this,Xa.prototype)}},Ja=class extends Error{constructor(t,i,r){super([`${t} ${i} require GHC ${r},`,"no GHC version could be found"].join(" ")),Object.setPrototypeOf(this,Ja.prototype)}},Za=class extends Error{constructor(t){super(`Could not find GHC version constraint for Agda ${t}`),Object.setPrototypeOf(this,Za.prototype)}},Qa=class extends Error{constructor(t,i,r,n){super([`${t} ${i} require GHC ${r},`,`but the current GHC version is ${n}`].join(" ")),Object.setPrototypeOf(this,Qa.prototype)}};async function H0(e){var i,r;let t=(r=(i=Dn[e["agda-version"]].binary)==null?void 0:i[Y])==null?void 0:r[Xo];if(t===void 0||t.length===0)throw Error(`Could not find a binary distribution for ${Xo}-${Y}`);for(let n of t)try{let o=await Wr(n);await yV(o),a.debug("Testing binary distribution");try{let p=Le["Agda:exe:agda"].exe,d=gr.join(o,"bin",p),l=gr.join(o,"data");await Is({agdaPath:d,agdaDataDir:l})}catch(p){throw new Zr(e["agda-version"],n,J(p))}let s=e.dest??Vi(e["agda-version"]);if(td.default.existsSync(s))throw new Ya(s);await td.default.mkdirp(gr.dirname(s)),await td.default.copy(o,s);return}catch(o){a.warning(new Zr(e["agda-version"],n,J(o)));continue}throw new Xa(e["agda-version"])}async function yV(e){switch(Y){case"linux":{for(let t of Object.values(Le))a.debug(`Repair permissions for ${t.exe}`),await za(["+x",gr.join(e,"bin",t.exe)]);break}case"macos":{for(let i of Object.values(Le))await za(["+x",gr.join(e,"bin",i.exe)]),await ed(["-c",gr.join(e,"bin",i.exe)]);let t=yw.default.sync(gr.join(e,"lib","*"));for(let i of t)await za(["+w",i]),await ed(["-c",i]),await za(["-w",i]);break}}}c();St();var Lw=x(require("node:assert"),1),mt=x(li(),1),e2=x(require("node:os"),1),Ii=x(require("node:path"),1),Pw=require("node:stream/promises"),Fw=x(D0(),1),kw=x(x1(),1);var id={licenses:{gmp:`GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007 Copyright (C) 2007 Free Software Foundation, Inc. diff --git a/src/data/Agda.versions.json b/src/data/Agda.versions.json index e7b1011..2538f2c 100644 --- a/src/data/Agda.versions.json +++ b/src/data/Agda.versions.json @@ -35,14 +35,14 @@ "macos": { "arm64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-arm64-macos-14-ghc9.8.2-icu74.2.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-arm64-macos-14-ghc9.8.2-icu74.2.zip", "sha256": "6e46324b8425a756c0e2d40b977fa93ad767c0ff251da52645ddb5503d909470", "target": "macos-14" } ], "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-x64-macos-12-ghc9.10.1-icu74.2.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-macos-12-ghc9.10.1-icu74.2.zip", "sha256": "35f1c8ac02d8be43c3ecdc223bed3acf143cb4e32bf43e6c24ac616cc7f5a668", "target": "macos-12" } @@ -51,12 +51,12 @@ "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-x64-ubuntu-20.04-ghc9.10.1-icu66.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-ubuntu-20.04-ghc9.10.1-icu66.1.zip", "sha256": "f90a1fb7ac1bb7535dc8c2640c9ebe22fdeb3dd85c6f5150c245b9b5d6da1056", "target": "ubuntu-20.04" }, { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-x64-ubuntu-22.04-ghc9.10.1-icu70.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-ubuntu-22.04-ghc9.10.1-icu70.1.zip", "sha256": "6595c7ff4a4f8821974d7cf06e011b96fd91d86eb54ed51930dc54be167c318b", "target": "ubuntu-22.04" } @@ -65,7 +65,7 @@ "windows": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.7.0-x64-windows-2022-ghc9.10.1-icu75.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.7.0-x64-windows-2022-ghc9.10.1-icu75.1.zip", "sha256": "1b8f46e07e5a8f9bf6b09e0d5f46a6fe56d90393f4425ad3101dc0952d262c74", "target": "windows-2022" } @@ -87,23 +87,23 @@ "macos": { "arm64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.3-arm64-macos-14-ghc9.4.4-icu74.2.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-arm64-macos-14-ghc9.4.4-icu74.2.zip", "sha256": "82c7c67450119214261dbbba2b7ae759d139f77aae7eee46f38b5772e8c1064f", "target": "macos-14" } ], "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.3-x64-macos-11-ghc9.8.1-icu73.2.zip", - "sha256": "44e5e7cf6db1c7e01b85895cf0f9fb35c5e7563b3111bd8994c8c51a80ebc97c", - "target": "macos-11" + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-macos-12-ghc9.8.1-icu73.2.zip", + "sha256": "d8303e5a8d6557d543470617f07ed9a0932b1bd50d7946a398e88af6f664c1be", + "target": "macos-12" } ] }, "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.3-x64-ubuntu-20.04-ghc9.8.1-icu66.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-ubuntu-20.04-ghc9.8.1-icu66.1.zip", "sha256": "0fb040d7aaf1b86ece7bb20ebf8e42b1b398067d3e39cca16511ba842abd8f44", "target": "ubuntu-20.04" } @@ -112,9 +112,9 @@ "windows": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.3-x64-windows-2022-ghc9.8.1-icu74.2.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.3-x64-windows-2022-ghc9.8.1-icu74.2.zip", "sha256": "594b38f300cdeb31071f2ad4110e21ee24efb349b605c4f52353bb39ffaf8521", - "target": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip" + "target": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip" } ] } @@ -134,23 +134,23 @@ "macos": { "arm64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-arm64-macos-14-ghc9.4.4-icu74.2.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-arm64-macos-14-ghc9.4.4-icu74.2.zip", "sha256": "1dc9ee02d9c774113f3ed5d31f95d9efdddad86139b5321e791acee6198c3368", "target": "macos-14" } ], "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-x64-macos-11-ghc9.4.7-icu73.2.zip", - "sha256": "aa716b624d8351fb962600f9a95fad3a17bbb0ea969d32b636c27c567b4b2cc5", - "target": "macos-11" + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-12-ghc9.4.7-icu73.2.zip", + "sha256": "d56b21198cc87b05634501535c26980604dbed9459255643ede054dda6e96889", + "target": "macos-12" } ] }, "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1.zip", "sha256": "22adb4ee6be4ecafd7bc1efc91121944de18cc988e8098e8474f4c8bf67fb004", "target": "ubuntu-20.04" } @@ -159,7 +159,7 @@ "windows": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.1.zip", "sha256": "19a761f43e0370f8e82e4ea7dd80e4b222e12b9b0a1e1539bf8d6d08d5188e81", "target": "windows-2022" } @@ -181,23 +181,23 @@ "macos": { "arm64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4-arm64-macos-14-ghc9.4.4-icu74.2.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-arm64-macos-14-ghc9.4.4-icu74.2.zip", "sha256": "8f936b4d6d1c77fbd77e8ec03f85aa736fbce0f021b3dce8c8f76d61ed470444", "target": "macos-14" } ], "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4-x64-macos-11-ghc9.4.7-icu73.2.zip", - "sha256": "6870daaee3beebe7fd7dc194a2616e23a0d24b3577f3e578c4d507d5b3313e6b", - "target": "macos-11" + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-macos-12-ghc9.6.3-icu73.2.zip", + "sha256": "54911fff70bbae66cea42a4b8e9c467860211a555c53efc584a554ca3e657b5e", + "target": "macos-12" } ] }, "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4-x64-ubuntu-20.04-ghc9.6.3-icu66.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-ubuntu-20.04-ghc9.6.3-icu66.1.zip", "sha256": "16b4bb129ea44c5c5bb84ac20016519af08c6e38999c9677052a8845c7b90e11", "target": "ubuntu-20.04" } @@ -206,7 +206,7 @@ "windows": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.4-x64-windows-2022-ghc9.6.3-icu73.2.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-windows-2022-ghc9.6.3-icu73.2.zip", "sha256": "123f7f0791903919b0fded935f3e620f1d4400fd1f16e44ac5346a512f6cbd17", "target": "windows-2022" } @@ -228,23 +228,23 @@ "macos": { "arm64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.3-arm64-macos-14-ghc9.4.4-icu74.2.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-arm64-macos-14-ghc9.4.4-icu74.2.zip", "sha256": "918a081c361d0fa858a7ed52498bd14bdb5da7794cc59a3b9fbc3abd4bdac8a2", "target": "macos-14" } ], "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.3-x64-macos-11-ghc9.4.4-icu72.1.zip", - "sha256": "ff0ea4f5e57064df1664a251119b78409c2c7f2f84e4592d4c8f85c197401c2d", - "target": "macos-11" + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-macos-12-ghc9.4.4-icu72.1.zip", + "sha256": "ef1aee7f6721ac30402ce7debd8aed0fe883d278a943bcf3f3f0edc3bfbf0df8", + "target": "macos-12" } ] }, "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.3-x64-ubuntu-20.04-ghc9.4.4-icu66.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-ubuntu-20.04-ghc9.4.4-icu66.1.zip", "sha256": "12d62d4783fb8daaa1a0630fbb68a412ad4c23dc52a33eef0eab6a514d291d08", "target": "ubuntu-20.04" } @@ -253,7 +253,7 @@ "windows": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.3-x64-windows-2022-ghc9.4.4-icu72.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-windows-2022-ghc9.4.4-icu72.1.zip", "sha256": "2143d880a85da0d71951b7471e6f3414f6c07ce6cd70e936fd0451b0b9d46951", "target": "windows-2022" } @@ -275,16 +275,16 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.2-x64-macos-11-ghc9.2.4-icu72.1.zip", - "sha256": "a72435a774355dd837945a5764bf6778188d387488c356d034ca44bf7f8eec85", - "target": "macos-11" + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-12-ghc9.2.4-icu72.1.zip", + "sha256": "d1205dd6527033c5011e1800e26bc24dc784d5a761bebebf20da150a70c5de3a", + "target": "macos-12" } ] }, "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip", "sha256": "d15b2f41d1d9b6e95f75e388a66e1439610cb6d1cc5c90b3f136e79d020aa367", "target": "ubuntu-20.04" } @@ -293,7 +293,7 @@ "windows": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip", "sha256": "e442bf8ec6e6dc6cbffe6537144878a2eef0057a43c7bdd3a5d4d9828ae20582", "target": "windows-2022" } @@ -315,16 +315,16 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.1-x64-macos-11-ghc9.0.2-icu72.1.zip", - "sha256": "a63c6465c5251dc7a7bb9336fed995571bcc7c2f89839d16257bc0f8da0182c4", - "target": "macos-11" + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-12-ghc9.0.2-icu72.1.zip", + "sha256": "d10863cba4aa7cf7a539f6a6922846be1773cac8bc2bea76d773a007fff60510", + "target": "macos-12" } ] }, "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip", "sha256": "9182e391336e2359b707deebf11a87b1a098979c053ddfd1468c3485bee064d6", "target": "ubuntu-20.04" } @@ -333,7 +333,7 @@ "windows": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip", "sha256": "1bdbc325826268bbd8289cc0737dbab3390e4767da13c269c22847a45d1df86a", "target": "windows-2022" } @@ -355,16 +355,16 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2-x64-macos-11-ghc9.0.2-icu72.1.zip", - "sha256": "37e20554406421132c7ee68c13cc3d325c081ed9d5bcd842d52f181b53b076fc", - "target": "macos-11" + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-12-ghc9.0.2-icu72.1.zip", + "sha256": "d45220cf1c8204483dfe0b97aeaa13127e70d9b80811de2b3b92219606647cb2", + "target": "macos-12" } ] }, "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip", "sha256": "272c7f465eff8e4a4b3946415131d29977966f8543013d876b5d36ecea7f29af", "target": "ubuntu-20.04" } @@ -373,7 +373,7 @@ "windows": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip", "sha256": "be38e10485e6d3a2836d330a7e08de6993b5ce112803f4efa56c11a0c15eeffa", "target": "windows-2022" } @@ -395,16 +395,16 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.1.3-x64-macos-11-ghc8.10.7-icu72.1.zip", - "sha256": "ebd241eeb7951f1e227bdd668683c5362402ab32484cb888d0ec22f9a75f2a1c", - "target": "macos-11" + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-12-ghc8.10.7-icu72.1.zip", + "sha256": "1828e2ae06621d70acb8c0fa5c6bf8fb14b40a4be34d26c5a69c1c40b712717d", + "target": "macos-12" } ] }, "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip", "sha256": "7632e8a38ad01129e342c0b4b25160a20865566ab8b48422a6bd520120882001", "target": "ubuntu-20.04" } @@ -429,16 +429,16 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.0.1-x64-macos-11-ghc8.6.5-icu72.1.zip", - "sha256": "0831433eeac32c0dced3358ecbcd6b6fe84015e9c331e87a4e0b15eb9ec0d7a6", - "target": "macos-11" + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-12-ghc8.6.5-icu72.1.zip", + "sha256": "19e8a75237940f4ab28cd19e74e08f000a88c7f448c700a922399456c7e86aec", + "target": "macos-12" } ] }, "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip", "sha256": "4e248165fa319878468a77c1cb037101712e6ea08d21d611cc327fc220cda14c", "target": "ubuntu-20.04" } @@ -459,16 +459,16 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu73.2.zip", - "sha256": "c1b82a2b2d3004860fcc009452c5feb1deea188226a06452acdfaf50b0131fbc", - "target": "macos-11" + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu73.2.zip", + "sha256": "759d73ebd3e9c3a8cd681e253400d2b19afbb2039d39bbda69899d39c354ad01", + "target": "macos-12" } ] }, "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip", "sha256": "5be8ca3253954c5602222936fd6901c5743bf56c19eb055a04f31e17564c4215", "target": "ubuntu-20.04" } @@ -489,16 +489,16 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.3-x64-macos-11-ghc8.2.2-icu73.2.zip", - "sha256": "0c414283faf3224ecebd50ea06a818b90cd44c1d17a4243102721735a9954eb2", - "target": "macos-11" + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-12-ghc8.2.2-icu73.2.zip", + "sha256": "56f51922411cdf086cda921a8217b64a8cc23c659b1b4b99719eeb7632c42d1e", + "target": "macos-12" } ] }, "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip", "sha256": "6a450bd50e7f403caf1d4e63d6381fc9fe0109053686b7e0b8a0ad5ba1eca9a1", "target": "ubuntu-20.04" } @@ -519,16 +519,16 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.2-x64-macos-11-ghc8.0.2.zip", - "sha256": "922533fed4853ef07c6250075c3c0792fd36f930735a11852e3d990532f9487a", - "target": "macos-11" + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-macos-12-ghc8.0.2.zip", + "sha256": "824733b1631c6f11d136ee81e76def02fe74f72acf8cbb74323012decb58e792", + "target": "macos-12" } ] }, "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.4.0/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip", "sha256": "6db78288847727714bafd1b8a4b493d40d8e4492990951bda9f893b3b73e6747", "target": "ubuntu-20.04" }