diff --git a/data/Agda.versions.yml b/data/Agda.versions.yml index a1e3c49..2fda6e2 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/latest/agda-2.7.0-arm64-macos-14-ghc9.8.2-icu74.2.zip + - 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/latest/agda-2.7.0-x64-macos-12-ghc9.10.1-icu74.2.zip + - 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/latest/agda-2.7.0-x64-ubuntu-20.04-ghc9.10.1-icu66.1.zip + - 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/latest/agda-2.7.0-x64-ubuntu-22.04-ghc9.10.1-icu70.1.zip + - 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/latest/agda-2.7.0-x64-windows-2022-ghc9.10.1-icu75.1.zip + - 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: @@ -56,29 +56,23 @@ nightly: 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 + - 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/latest/agda-2.6.4.3-x64-macos-11-ghc9.8.1-icu73.2.zip + - 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/latest/agda-2.6.4.3-x64-ubuntu-20.04-ghc9.8.1-icu66.1.zip + - 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 - # - 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/latest/agda-2.6.4.3-x64-windows-2022-ghc9.8.1-icu74.2.zip + - 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/latest/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip + 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' @@ -97,27 +91,21 @@ nightly: 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 + - 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/latest/agda-2.6.4.1-x64-macos-11-ghc9.4.7-icu73.2.zip + - 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/latest/agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1.zip + - 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 - # - 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/latest/agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.1.zip + - 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: @@ -138,27 +126,21 @@ nightly: 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 + - 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/latest/agda-2.6.4-x64-macos-12-ghc9.6.3-icu73.2.zip - # sha256: 54911fff70bbae66cea42a4b8e9c467860211a555c53efc584a554ca3e657b5e - # target: macos-12 - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4-x64-macos-11-ghc9.4.7-icu73.2.zip + - 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/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 + - 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/latest/agda-2.6.4-x64-windows-2022-ghc9.6.3-icu73.2.zip + - 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: @@ -179,27 +161,21 @@ nightly: 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 + - 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/latest/agda-2.6.3-x64-macos-12-ghc9.4.4-icu72.1.zip - # sha256: ef1aee7f6721ac30402ce7debd8aed0fe883d278a943bcf3f3f0edc3bfbf0df8 - # target: macos-12 - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-macos-11-ghc9.4.4-icu72.1.zip + - 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/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 + - 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/latest/agda-2.6.3-x64-windows-2022-ghc9.4.4-icu72.1.zip + - 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: @@ -220,23 +196,17 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-11-ghc9.2.4-icu72.1.zip + - 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/latest/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip + - 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 - # - 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/latest/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip + - 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: @@ -257,23 +227,17 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-11-ghc9.0.2-icu72.1.zip + - 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/latest/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip + - 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 - # - 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/latest/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip + - 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: @@ -294,23 +258,17 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-11-ghc9.0.2-icu72.1.zip + - 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/latest/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip + - 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 - # - 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/latest/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip + - 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: @@ -331,20 +289,14 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-11-ghc8.10.7-icu72.1.zip + - 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/latest/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip + - 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 - # - 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: @@ -363,20 +315,14 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-11-ghc8.6.5-icu72.1.zip + - 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/latest/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip + - 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 - # - 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: @@ -388,20 +334,14 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu73.2.zip + - 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/latest/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip + - 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 - # - 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: @@ -413,20 +353,14 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-11-ghc8.2.2-icu73.2.zip + - 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/latest/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip + - 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 - # - 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: @@ -439,23 +373,14 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-macos-11-ghc8.0.2.zip + - 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/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 + - 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 - # - 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 2993977..0393f27 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/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 +`}},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 --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/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-11-ghc9.8.1-icu73.2.zip",sha256:"44e5e7cf6db1c7e01b85895cf0f9fb35c5e7563b3111bd8994c8c51a80ebc97c",target:"macos-11"}]},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 +`}},"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 --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/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-11-ghc9.4.7-icu73.2.zip",sha256:"aa716b624d8351fb962600f9a95fad3a17bbb0ea969d32b636c27c567b4b2cc5",target:"macos-11"}]},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 +`}},"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 --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/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-11-ghc9.4.7-icu73.2.zip",sha256:"6870daaee3beebe7fd7dc194a2616e23a0d24b3577f3e578c4d507d5b3313e6b",target:"macos-11"}]},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 +`}},"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 --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/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-11-ghc9.4.4-icu72.1.zip",sha256:"ff0ea4f5e57064df1664a251119b78409c2c7f2f84e4592d4c8f85c197401c2d",target:"macos-11"}]},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 +`}},"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 --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/latest/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/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 +`}},"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 --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/latest/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/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 +`}},"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 --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/latest/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/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 +`}},"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 --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/latest/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/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 +`}},"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 `,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/latest/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/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-11-ghc8.4.4-icu73.2.zip",sha256:"c1b82a2b2d3004860fcc009452c5feb1deea188226a06452acdfaf50b0131fbc",target:"macos-11"}]},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-11-ghc8.2.2-icu73.2.zip",sha256:"0c414283faf3224ecebd50ea06a818b90cd44c1d17a4243102721735a9954eb2",target:"macos-11"}]},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 +`}},"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 --flags=+enable-cluster-counting -`},"2.5.2":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/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/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 +`},"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 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 247867a..e7b1011 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/latest/agda-2.7.0-arm64-macos-14-ghc9.8.2-icu74.2.zip", + "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/latest/agda-2.7.0-x64-macos-12-ghc9.10.1-icu74.2.zip", + "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" } @@ -51,12 +51,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", + "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/latest/agda-2.7.0-x64-ubuntu-22.04-ghc9.10.1-icu70.1.zip", + "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" } @@ -65,7 +65,7 @@ "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", + "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" } @@ -87,14 +87,14 @@ "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", + "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/latest/agda-2.6.4.3-x64-macos-11-ghc9.8.1-icu73.2.zip", + "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" } @@ -103,7 +103,7 @@ "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", + "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" } @@ -112,9 +112,9 @@ "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", + "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/latest/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip" + "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" } ] } @@ -134,14 +134,14 @@ "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", + "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/latest/agda-2.6.4.1-x64-macos-11-ghc9.4.7-icu73.2.zip", + "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" } @@ -150,7 +150,7 @@ "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", + "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" } @@ -159,7 +159,7 @@ "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", + "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" } @@ -181,14 +181,14 @@ "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", + "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/latest/agda-2.6.4-x64-macos-11-ghc9.4.7-icu73.2.zip", + "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" } @@ -197,7 +197,7 @@ "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", + "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" } @@ -206,7 +206,7 @@ "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", + "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" } @@ -228,14 +228,14 @@ "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", + "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/latest/agda-2.6.3-x64-macos-11-ghc9.4.4-icu72.1.zip", + "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" } @@ -244,7 +244,7 @@ "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", + "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" } @@ -253,7 +253,7 @@ "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", + "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" } @@ -275,7 +275,7 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-11-ghc9.2.4-icu72.1.zip", + "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" } @@ -284,7 +284,7 @@ "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", + "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" } @@ -293,7 +293,7 @@ "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", + "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" } @@ -315,7 +315,7 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-11-ghc9.0.2-icu72.1.zip", + "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" } @@ -324,7 +324,7 @@ "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", + "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" } @@ -333,7 +333,7 @@ "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", + "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" } @@ -355,7 +355,7 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-11-ghc9.0.2-icu72.1.zip", + "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" } @@ -364,7 +364,7 @@ "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", + "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" } @@ -373,7 +373,7 @@ "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", + "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" } @@ -395,7 +395,7 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-11-ghc8.10.7-icu72.1.zip", + "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" } @@ -404,7 +404,7 @@ "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", + "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" } @@ -429,7 +429,7 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-11-ghc8.6.5-icu72.1.zip", + "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" } @@ -438,7 +438,7 @@ "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", + "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" } @@ -459,7 +459,7 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu73.2.zip", + "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" } @@ -468,7 +468,7 @@ "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", + "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" } @@ -489,7 +489,7 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-11-ghc8.2.2-icu73.2.zip", + "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" } @@ -498,7 +498,7 @@ "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", + "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" } @@ -519,7 +519,7 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-macos-11-ghc8.0.2.zip", + "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" } @@ -528,7 +528,7 @@ "linux": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip", + "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" }