From 8c7e1ff26c32c02163e996f965d63fec6329c6e1 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Tue, 7 Feb 2023 13:48:58 +0000 Subject: [PATCH] Set version in bundle URLs --- data/Agda.versions.yml | 195 ++++++++---------------------------- dist/action.cjs | 18 ++-- src/data/Agda.versions.json | 91 +++++++---------- 3 files changed, 89 insertions(+), 215 deletions(-) diff --git a/data/Agda.versions.yml b/data/Agda.versions.yml index 3369ae4..ee63980 100644 --- a/data/Agda.versions.yml +++ b/data/Agda.versions.yml @@ -18,23 +18,23 @@ nightly: binary: macos: x64: - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-macos-12-ghc9.4.4-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/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.0.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 + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/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.0.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.0.0/agda-2.6.3-x64-windows-2022-ghc9.4.4-icu72.1.zip sha256: 2143d880a85da0d71951b7471e6f3414f6c07ce6cd70e936fd0451b0b9d46951 target: windows-2022 compatibility: @@ -55,38 +55,23 @@ nightly: binary: macos: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.2-x64-macos-11-icu72.1-ghc9.2.4.zip - # sha256: a72435a774355dd837945a5764bf6778188d387488c356d034ca44bf7f8eec85 - # target: macos-11 - - 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.0.0/agda-2.6.2.2-x64-macos-11-ghc9.2.4-icu72.1.zip sha256: a72435a774355dd837945a5764bf6778188d387488c356d034ca44bf7f8eec85 target: macos-11 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.2-x64-macos-12-icu72.1-ghc9.2.4.zip - # sha256: d1205dd6527033c5011e1800e26bc24dc784d5a761bebebf20da150a70c5de3a - # target: macos-12 - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-12-ghc9.2.4-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.2.2-x64-macos-12-ghc9.2.4-icu72.1.zip sha256: d1205dd6527033c5011e1800e26bc24dc784d5a761bebebf20da150a70c5de3a target: macos-12 linux: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.2-x64-ubuntu-20.04-icu66.1-ghc9.2.4.zip - # sha256: d15b2f41d1d9b6e95f75e388a66e1439610cb6d1cc5c90b3f136e79d020aa367 - # target: ubuntu-20.04 - - 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.0.0/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip sha256: d15b2f41d1d9b6e95f75e388a66e1439610cb6d1cc5c90b3f136e79d020aa367 target: ubuntu-20.04 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.2-x64-ubuntu-22.04-icu70.1-ghc9.2.4.zip - # sha256: d49021a4dd6852648d64a8911be8e90b76c0adab92d14d54e018287b20712e72 - # target: ubuntu-22.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 + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/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://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.2-x64-windows-2022-icu72.1-ghc9.2.4.zip - sha256: e442bf8ec6e6dc6cbffe6537144878a2eef0057a43c7bdd3a5d4d9828ae20582 - target: windows-2022 - - 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.0.0/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip sha256: e442bf8ec6e6dc6cbffe6537144878a2eef0057a43c7bdd3a5d4d9828ae20582 target: windows-2022 compatibility: @@ -107,38 +92,23 @@ nightly: binary: macos: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.1-x64-macos-11-icu72.1-ghc9.0.2.zip - # sha256: a63c6465c5251dc7a7bb9336fed995571bcc7c2f89839d16257bc0f8da0182c4 - # target: macos-11 - - 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.0.0/agda-2.6.2.1-x64-macos-11-ghc9.0.2-icu72.1.zip sha256: a63c6465c5251dc7a7bb9336fed995571bcc7c2f89839d16257bc0f8da0182c4 target: macos-11 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.1-x64-macos-12-icu72.1-ghc9.0.2.zip - # sha256: d10863cba4aa7cf7a539f6a6922846be1773cac8bc2bea76d773a007fff60510 - # target: macos-12 - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-12-ghc9.0.2-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.2.1-x64-macos-12-ghc9.0.2-icu72.1.zip sha256: d10863cba4aa7cf7a539f6a6922846be1773cac8bc2bea76d773a007fff60510 target: macos-12 linux: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.1-x64-ubuntu-20.04-icu66.1-ghc9.0.2.zip - # sha256: 9182e391336e2359b707deebf11a87b1a098979c053ddfd1468c3485bee064d6 - # target: ubuntu-20.04 - - 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.0.0/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip sha256: 9182e391336e2359b707deebf11a87b1a098979c053ddfd1468c3485bee064d6 target: ubuntu-20.04 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.1-x64-ubuntu-22.04-icu70.1-ghc9.0.2.zip - # sha256: a7d48d29f41a21efd683b04ae321112f7dc40944f8df29e8a76319e52941d7a8 - # target: ubuntu-22.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 + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/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://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.1-x64-windows-2022-icu72.1-ghc9.0.2.zip - sha256: 1bdbc325826268bbd8289cc0737dbab3390e4767da13c269c22847a45d1df86a - target: windows-2022 - - 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.0.0/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip sha256: 1bdbc325826268bbd8289cc0737dbab3390e4767da13c269c22847a45d1df86a target: windows-2022 compatibility: @@ -159,38 +129,23 @@ nightly: binary: macos: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2-x64-macos-11-icu72.1-ghc9.0.2.zip - # sha256: 37e20554406421132c7ee68c13cc3d325c081ed9d5bcd842d52f181b53b076fc - # target: macos-11 - - 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.0.0/agda-2.6.2-x64-macos-11-ghc9.0.2-icu72.1.zip sha256: 37e20554406421132c7ee68c13cc3d325c081ed9d5bcd842d52f181b53b076fc target: macos-11 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2-x64-macos-12-icu72.1-ghc9.0.2.zip - # sha256: d45220cf1c8204483dfe0b97aeaa13127e70d9b80811de2b3b92219606647cb2 - # target: macos-12 - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-12-ghc9.0.2-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.2-x64-macos-12-ghc9.0.2-icu72.1.zip sha256: d45220cf1c8204483dfe0b97aeaa13127e70d9b80811de2b3b92219606647cb2 target: macos-12 linux: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2-x64-ubuntu-20.04-icu66.1-ghc9.0.2.zip - # sha256: 272c7f465eff8e4a4b3946415131d29977966f8543013d876b5d36ecea7f29af - # target: ubuntu-20.04 - - 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.0.0/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip sha256: 272c7f465eff8e4a4b3946415131d29977966f8543013d876b5d36ecea7f29af target: ubuntu-20.04 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2-x64-ubuntu-22.04-icu70.1-ghc9.0.2.zip - # sha256: ca014d2053274d8b8d69d25be4c6c75988a5e59794739420582a179227a95fa1 - # target: ubuntu-22.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 + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.2-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip sha256: ca014d2053274d8b8d69d25be4c6c75988a5e59794739420582a179227a95fa1 target: ubuntu-22.04 windows: x64: - - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2-x64-windows-2022-icu72.1-ghc9.0.2.zip - sha256: be38e10485e6d3a2836d330a7e08de6993b5ce112803f4efa56c11a0c15eeffa - target: windows-2022 - - 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.0.0/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip sha256: be38e10485e6d3a2836d330a7e08de6993b5ce112803f4efa56c11a0c15eeffa target: windows-2022 compatibility: @@ -211,36 +166,21 @@ nightly: binary: macos: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.1.3-x64-macos-11-icu72.1-ghc8.10.7.zip - # sha256: ebd241eeb7951f1e227bdd668683c5362402ab32484cb888d0ec22f9a75f2a1c - # target: macos-11 - - 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.0.0/agda-2.6.1.3-x64-macos-11-ghc8.10.7-icu72.1.zip sha256: ebd241eeb7951f1e227bdd668683c5362402ab32484cb888d0ec22f9a75f2a1c target: macos-11 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.1.3-x64-macos-12-icu72.1-ghc8.10.7.zip - # sha256: 1828e2ae06621d70acb8c0fa5c6bf8fb14b40a4be34d26c5a69c1c40b712717d - # target: macos-12 - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-12-ghc8.10.7-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.1.3-x64-macos-12-ghc8.10.7-icu72.1.zip sha256: 1828e2ae06621d70acb8c0fa5c6bf8fb14b40a4be34d26c5a69c1c40b712717d target: macos-12 linux: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.1.3-x64-ubuntu-18.04-icu60.2-ghc8.10.7.zip - # sha256: 19afe986efbe7fafcf7b5e6b1b3709e7fcdc6c8b381d4f5c7da8464875ee7a24 - # target: ubuntu-18.04 - # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-18.04-ghc8.10.7-icu60.2.zip + # - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.1.3-x64-ubuntu-18.04-ghc8.10.7-icu60.2.zip # sha256: 19afe986efbe7fafcf7b5e6b1b3709e7fcdc6c8b381d4f5c7da8464875ee7a24 # target: ubuntu-18.04 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.1.3-x64-ubuntu-20.04-icu66.1-ghc8.10.7.zip - # sha256: 7632e8a38ad01129e342c0b4b25160a20865566ab8b48422a6bd520120882001 - # target: ubuntu-20.04 - - 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.0.0/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip sha256: 7632e8a38ad01129e342c0b4b25160a20865566ab8b48422a6bd520120882001 target: ubuntu-20.04 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.1.3-x64-ubuntu-22.04-icu70.1-ghc8.10.7.zip - # sha256: b52dacaa226f914d470edf517c4c172bd275ecbf4ec1315e0ed92758daae095a - # target: ubuntu-22.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 + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.1.3-x64-ubuntu-22.04-ghc8.10.7-icu70.1.zip sha256: b52dacaa226f914d470edf517c4c172bd275ecbf4ec1315e0ed92758daae095a target: ubuntu-22.04 windows: @@ -261,36 +201,21 @@ nightly: binary: macos: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.0.1-x64-macos-11-icu72.1-ghc8.6.5.zip - # sha256: 0831433eeac32c0dced3358ecbcd6b6fe84015e9c331e87a4e0b15eb9ec0d7a6 - # target: macos-11 - - 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.0.0/agda-2.6.0.1-x64-macos-11-ghc8.6.5-icu72.1.zip sha256: 0831433eeac32c0dced3358ecbcd6b6fe84015e9c331e87a4e0b15eb9ec0d7a6 target: macos-11 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.0.1-x64-macos-12-icu72.1-ghc8.6.5.zip - # sha256: 19e8a75237940f4ab28cd19e74e08f000a88c7f448c700a922399456c7e86aec - # target: macos-12 - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-12-ghc8.6.5-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.0.1-x64-macos-12-ghc8.6.5-icu72.1.zip sha256: 19e8a75237940f4ab28cd19e74e08f000a88c7f448c700a922399456c7e86aec target: macos-12 linux: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.0.1-x64-ubuntu-18.04-icu60.2-ghc8.6.5.zip - # sha256: 46db43c131b97fa91b088304a17efc2df1670635ea55dcf9fb6a768d00268f5f - # target: ubuntu-18.04 - # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-18.04-ghc8.6.5-icu60.2.zip + # - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.0.1-x64-ubuntu-18.04-ghc8.6.5-icu60.2.zip # sha256: 46db43c131b97fa91b088304a17efc2df1670635ea55dcf9fb6a768d00268f5f # target: ubuntu-18.04 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.0.1-x64-ubuntu-20.04-icu66.1-ghc8.6.5.zip - # sha256: 4e248165fa319878468a77c1cb037101712e6ea08d21d611cc327fc220cda14c - # target: ubuntu-20.04 - - 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.0.0/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip sha256: 4e248165fa319878468a77c1cb037101712e6ea08d21d611cc327fc220cda14c target: ubuntu-20.04 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.6.0.1-x64-ubuntu-22.04-icu70.1-ghc8.6.5.zip - # sha256: 8bb8524b95a08bb15f599ece371039d045b90d47ac8c1a44014af746dae7e3fb - # target: ubuntu-22.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 + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.0.1-x64-ubuntu-22.04-ghc8.6.5-icu70.1.zip sha256: 8bb8524b95a08bb15f599ece371039d045b90d47ac8c1a44014af746dae7e3fb target: ubuntu-22.04 windows: @@ -304,30 +229,18 @@ nightly: binary: macos: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.5.4.2-x64-macos-11-icu72.1-ghc8.4.4.zip - # sha256: 02bf624508d2fb2c7221cda40c1907cf4989bf709b9c1f33b63f4a909faedb7b - # target: macos-11 - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu72.1.zip sha256: 02bf624508d2fb2c7221cda40c1907cf4989bf709b9c1f33b63f4a909faedb7b target: macos-11 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.5.4.2-x64-macos-12-icu72.1-ghc8.4.4.zip - # sha256: f6fe5530a66c2aa36696864841ef8d937f56d5f3ef4000e86bc657eee5a2807a - # target: macos-12 - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu72.1.zip sha256: f6fe5530a66c2aa36696864841ef8d937f56d5f3ef4000e86bc657eee5a2807a target: macos-12 linux: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.5.4.2-x64-ubuntu-20.04-icu66.1-ghc8.4.4.zip - # sha256: 5be8ca3253954c5602222936fd6901c5743bf56c19eb055a04f31e17564c4215 - # target: ubuntu-20.04 - - 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.0.0/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip sha256: 5be8ca3253954c5602222936fd6901c5743bf56c19eb055a04f31e17564c4215 target: ubuntu-20.04 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.5.4.2-x64-ubuntu-22.04-icu70.1-ghc8.4.4.zip - # sha256: f183a793a1dd0856f69a86bc17d293ec52b2270113507ff59811fa5de59ebf18 - # target: ubuntu-22.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 + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.4.2-x64-ubuntu-22.04-ghc8.4.4-icu70.1.zip sha256: f183a793a1dd0856f69a86bc17d293ec52b2270113507ff59811fa5de59ebf18 target: ubuntu-22.04 windows: @@ -341,30 +254,18 @@ nightly: binary: macos: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.5.3-x64-macos-11-icu72.1-ghc8.2.2.zip - # sha256: a13960b2e8946f1790f62b3c9db26dd80194e3b6e9e7a1d294a5932086121a9f - # target: macos-11 - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-11-ghc8.2.2-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.3-x64-macos-11-ghc8.2.2-icu72.1.zip sha256: a13960b2e8946f1790f62b3c9db26dd80194e3b6e9e7a1d294a5932086121a9f target: macos-11 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.5.3-x64-macos-12-icu72.1-ghc8.2.2.zip - # sha256: 568fd9332f64c44b87898680593a8899f2e3e2531fdfed67375ae53fb14aaf17 - # target: macos-12 - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-12-ghc8.2.2-icu72.1.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.3-x64-macos-12-ghc8.2.2-icu72.1.zip sha256: 568fd9332f64c44b87898680593a8899f2e3e2531fdfed67375ae53fb14aaf17 target: macos-12 linux: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.5.3-x64-ubuntu-18.04-icu60.2-ghc8.2.2.zip + # - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.3-x64-ubuntu-18.04-ghc8.2.2-icu60.2.zip # sha256: cb23807b957be00037cf8ac9c01949da21f850078d18cb8650c1715eaeaad9b3 # target: ubuntu-18.04 - # - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-18.04-ghc8.2.2-icu60.2.zip - # sha256: cb23807b957be00037cf8ac9c01949da21f850078d18cb8650c1715eaeaad9b3 - # target: ubuntu-18.04 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.5.3-x64-ubuntu-20.04-icu66.1-ghc8.2.2.zip - # sha256: 6a450bd50e7f403caf1d4e63d6381fc9fe0109053686b7e0b8a0ad5ba1eca9a1 - # target: ubuntu-20.04 - - 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.0.0/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip sha256: 6a450bd50e7f403caf1d4e63d6381fc9fe0109053686b7e0b8a0ad5ba1eca9a1 target: ubuntu-20.04 windows: @@ -379,30 +280,18 @@ nightly: binary: macos: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/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-11-ghc8.0.2.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.2-x64-macos-11-ghc8.0.2.zip sha256: 922533fed4853ef07c6250075c3c0792fd36f930735a11852e3d990532f9487a target: macos-11 - # - url: https://msp.cis.strath.ac.uk/files/agda/agda-2.5.2-x64-macos-12-ghc8.0.2.zip - # sha256: 824733b1631c6f11d136ee81e76def02fe74f72acf8cbb74323012decb58e792 - # target: macos-12 - - url: https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-macos-12-ghc8.0.2.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.2-x64-macos-12-ghc8.0.2.zip sha256: 824733b1631c6f11d136ee81e76def02fe74f72acf8cbb74323012decb58e792 target: macos-12 linux: x64: - # - url: https://msp.cis.strath.ac.uk/files/agda/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-18.04-ghc8.0.2.zip + # - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.2-x64-ubuntu-18.04-ghc8.0.2.zip # sha256: 9bf068a64c1e1a80d6c0b725f32d5fa7c1f551d523889433e781f2af5efa9342 # target: ubuntu-18.04 - # - url: https://msp.cis.strath.ac.uk/files/agda/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-20.04-ghc8.0.2.zip + - url: https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip sha256: 6db78288847727714bafd1b8a4b493d40d8e4492990951bda9f893b3b73e6747 target: ubuntu-20.04 windows: diff --git a/dist/action.cjs b/dist/action.cjs index 51f91a7..d4090e5 100644 --- a/dist/action.cjs +++ b/dist/action.cjs @@ -290,44 +290,44 @@ 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},"disable-matcher":{description:`If specified, disables match messages from GHC as GitHub CI annotations. -`,required:!1}},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-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)."},"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_."}},runs:{using:"node16",main:"./dist/action.cjs"},branding:{icon:"feather",color:"purple"}};var Wb={"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 kD={"Agda:exe:agda":{exe:"agda"},"Agda:exe:agda-mode":{exe:"agda-mode"}};var Kb={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":"1.7.2"}},"2.6.3":{binary:{macos:{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",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",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 +`,required:!1}},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-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)."},"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_."}},runs:{using:"node16",main:"./dist/action.cjs"},branding:{icon:"feather",color:"purple"}};var Wb={"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 kD={"Agda:exe:agda":{exe:"agda"},"Agda:exe:agda-mode":{exe:"agda-mode"}};var Kb={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":"1.7.2"}},"2.6.3":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/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/v2.0.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.0.0/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/v2.0.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.0.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"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-12-ghc9.2.4-icu72.1.zip",sha256:"d1205dd6527033c5011e1800e26bc24dc784d5a761bebebf20da150a70c5de3a",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip",sha256:"d15b2f41d1d9b6e95f75e388a66e1439610cb6d1cc5c90b3f136e79d020aa367",target:"ubuntu-20.04"},{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://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.2-x64-windows-2022-icu72.1-ghc9.2.4.zip",sha256:"e442bf8ec6e6dc6cbffe6537144878a2eef0057a43c7bdd3a5d4d9828ae20582",target:"windows-2022"},{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.0.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/v2.0.0/agda-2.6.2.2-x64-macos-12-ghc9.2.4-icu72.1.zip",sha256:"d1205dd6527033c5011e1800e26bc24dc784d5a761bebebf20da150a70c5de3a",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.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/v2.0.0/agda-2.6.2.2-x64-ubuntu-22.04-ghc9.2.4-icu70.1.zip",sha256:"d49021a4dd6852648d64a8911be8e90b76c0adab92d14d54e018287b20712e72",target:"ubuntu-22.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.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"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-12-ghc9.0.2-icu72.1.zip",sha256:"d10863cba4aa7cf7a539f6a6922846be1773cac8bc2bea76d773a007fff60510",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip",sha256:"9182e391336e2359b707deebf11a87b1a098979c053ddfd1468c3485bee064d6",target:"ubuntu-20.04"},{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://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.1-x64-windows-2022-icu72.1-ghc9.0.2.zip",sha256:"1bdbc325826268bbd8289cc0737dbab3390e4767da13c269c22847a45d1df86a",target:"windows-2022"},{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.0.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/v2.0.0/agda-2.6.2.1-x64-macos-12-ghc9.0.2-icu72.1.zip",sha256:"d10863cba4aa7cf7a539f6a6922846be1773cac8bc2bea76d773a007fff60510",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.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/v2.0.0/agda-2.6.2.1-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip",sha256:"a7d48d29f41a21efd683b04ae321112f7dc40944f8df29e8a76319e52941d7a8",target:"ubuntu-22.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.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"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-12-ghc9.0.2-icu72.1.zip",sha256:"d45220cf1c8204483dfe0b97aeaa13127e70d9b80811de2b3b92219606647cb2",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip",sha256:"272c7f465eff8e4a4b3946415131d29977966f8543013d876b5d36ecea7f29af",target:"ubuntu-20.04"},{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://msp.cis.strath.ac.uk/files/agda/agda-2.6.2-x64-windows-2022-icu72.1-ghc9.0.2.zip",sha256:"be38e10485e6d3a2836d330a7e08de6993b5ce112803f4efa56c11a0c15eeffa",target:"windows-2022"},{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.0.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/v2.0.0/agda-2.6.2-x64-macos-12-ghc9.0.2-icu72.1.zip",sha256:"d45220cf1c8204483dfe0b97aeaa13127e70d9b80811de2b3b92219606647cb2",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.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/v2.0.0/agda-2.6.2-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip",sha256:"ca014d2053274d8b8d69d25be4c6c75988a5e59794739420582a179227a95fa1",target:"ubuntu-22.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.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"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-12-ghc8.10.7-icu72.1.zip",sha256:"1828e2ae06621d70acb8c0fa5c6bf8fb14b40a4be34d26c5a69c1c40b712717d",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip",sha256:"7632e8a38ad01129e342c0b4b25160a20865566ab8b48422a6bd520120882001",target:"ubuntu-20.04"},{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:{"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.0.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/v2.0.0/agda-2.6.1.3-x64-macos-12-ghc8.10.7-icu72.1.zip",sha256:"1828e2ae06621d70acb8c0fa5c6bf8fb14b40a4be34d26c5a69c1c40b712717d",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.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/v2.0.0/agda-2.6.1.3-x64-ubuntu-22.04-ghc8.10.7-icu70.1.zip",sha256:"b52dacaa226f914d470edf517c4c172bd275ecbf4ec1315e0ed92758daae095a",target:"ubuntu-22.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"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-12-ghc8.6.5-icu72.1.zip",sha256:"19e8a75237940f4ab28cd19e74e08f000a88c7f448c700a922399456c7e86aec",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip",sha256:"4e248165fa319878468a77c1cb037101712e6ea08d21d611cc327fc220cda14c",target:"ubuntu-20.04"},{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:{"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-icu72.1.zip",sha256:"02bf624508d2fb2c7221cda40c1907cf4989bf709b9c1f33b63f4a909faedb7b",target:"macos-11"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu72.1.zip",sha256:"f6fe5530a66c2aa36696864841ef8d937f56d5f3ef4000e86bc657eee5a2807a",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip",sha256:"5be8ca3253954c5602222936fd6901c5743bf56c19eb055a04f31e17564c4215",target:"ubuntu-20.04"},{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:{"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-icu72.1.zip",sha256:"a13960b2e8946f1790f62b3c9db26dd80194e3b6e9e7a1d294a5932086121a9f",target:"macos-11"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-12-ghc8.2.2-icu72.1.zip",sha256:"568fd9332f64c44b87898680593a8899f2e3e2531fdfed67375ae53fb14aaf17",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip",sha256:"6a450bd50e7f403caf1d4e63d6381fc9fe0109053686b7e0b8a0ad5ba1eca9a1",target:"ubuntu-20.04"}]},windows:{x64:[]}},compatibility:{"agda-stdlib":"0.14 - 0.15",ghc:"7.8 - 8.2"},configuration:`--allow-newer=Cabal +`}},"2.6.0.1":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.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/v2.0.0/agda-2.6.0.1-x64-macos-12-ghc8.6.5-icu72.1.zip",sha256:"19e8a75237940f4ab28cd19e74e08f000a88c7f448c700a922399456c7e86aec",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.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/v2.0.0/agda-2.6.0.1-x64-ubuntu-22.04-ghc8.6.5-icu70.1.zip",sha256:"8bb8524b95a08bb15f599ece371039d045b90d47ac8c1a44014af746dae7e3fb",target:"ubuntu-22.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.0.0/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu72.1.zip",sha256:"02bf624508d2fb2c7221cda40c1907cf4989bf709b9c1f33b63f4a909faedb7b",target:"macos-11"},{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu72.1.zip",sha256:"f6fe5530a66c2aa36696864841ef8d937f56d5f3ef4000e86bc657eee5a2807a",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.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/v2.0.0/agda-2.5.4.2-x64-ubuntu-22.04-ghc8.4.4-icu70.1.zip",sha256:"f183a793a1dd0856f69a86bc17d293ec52b2270113507ff59811fa5de59ebf18",target:"ubuntu-22.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.0.0/agda-2.5.3-x64-macos-11-ghc8.2.2-icu72.1.zip",sha256:"a13960b2e8946f1790f62b3c9db26dd80194e3b6e9e7a1d294a5932086121a9f",target:"macos-11"},{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.3-x64-macos-12-ghc8.2.2-icu72.1.zip",sha256:"568fd9332f64c44b87898680593a8899f2e3e2531fdfed67375ae53fb14aaf17",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.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"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-macos-12-ghc8.0.2.zip",sha256:"824733b1631c6f11d136ee81e76def02fe74f72acf8cbb74323012decb58e792",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip",sha256:"6db78288847727714bafd1b8a4b493d40d8e4492990951bda9f893b3b73e6747",target:"ubuntu-20.04"}]},windows:{x64:[]}},compatibility:{"agda-stdlib":"0.13",ghc:"7.6 - 8.0"}},"2.5.1.2":{compatibility:{"agda-stdlib":"0.12",ghc:"7.6 - 8.0"}},"2.4.2.5":{compatibility:{"agda-stdlib":"0.11",ghc:"7.6 - 7.10"}},"2.4.2.4":{compatibility:{"agda-stdlib":"0.11",ghc:"7.6 - 7.10"}},"2.4.2.3":{compatibility:{"agda-stdlib":"0.10",ghc:"7.4 - 7.10"}},"2.4.2.2":{compatibility:{"agda-stdlib":"0.9",ghc:"7.0 - 7.8"}},"2.4.2.1":{compatibility:{"agda-stdlib":"0.9",ghc:"7.0 - 7.8"}},"2.4.2":{compatibility:{"agda-stdlib":"0.8.1",ghc:"7.0 - 7.8"}},"2.4.0.2":{compatibility:{"agda-stdlib":"0.8",ghc:"7.0 - 7.8"}},"2.4.0.1":{compatibility:{"agda-stdlib":"0.8",ghc:"7.0 - 7.8"}},"2.4.0":{compatibility:{"agda-stdlib":"0.8",ghc:"7.0 - 7.8"}},"2.3.2.2":{compatibility:{"agda-stdlib":"0.7"}},"2.3.2.1":{compatibility:{"agda-stdlib":"0.7"}},"2.3.2":{compatibility:{"agda-stdlib":"0.7"}},"2.3.0.1":{compatibility:{"agda-stdlib":"0.6"}},"2.3.0":{compatibility:{"agda-stdlib":"0.6"}},"2.2.10":{compatibility:{"agda-stdlib":"0.5"}},"2.2.8":{compatibility:{"agda-stdlib":"0.4"}},"2.2.6":{compatibility:{"agda-stdlib":"0.3"}},"2.2.4":{compatibility:{"agda-stdlib":"0.2"}},"2.2.2":{compatibility:{"agda-stdlib":"0.1"}},"2.2.0":{compatibility:{"agda-stdlib":"0.1"}}};var TD={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.',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"},"disable-matcher":{required:!1,description:"If specified, disables match messages from GHC as GitHub CI annotations"}},outputs:{"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)"},"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_"}},runs:{using:"node16",main:"dist/index.js"}};var Yb={ghc:["9.4.2","9.4.1","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.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.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.18.0"]};m();ji();async function Ki(e,t){await ue("ghc",e,t)}Ki.getInfo=async e=>{let{stdout:t}=await ue("ghc",["--info"],e),i=JSON.parse(t.replace(/\(/g,"[").replace(/\)/g,"]"));return Object.fromEntries(i.map(a=>[`ghc-info-${a[0].toLowerCase().replace(/ /g,"-")}`,a[1]]))};Ki.getVersion=async()=>{let{stdout:e}=await ue("ghc",["--numeric-version"]);return e};Ki.maybeGetVersion=async()=>{try{return await Ki.getVersion()}catch(e){return s.info(`Could not get installed GHC version: ${Fe(e).message}`),null}};ji();m();function lr(e){return e.split(/\r?\n/g).map(t=>t.trim()).filter(t=>t.length>0)}m();function Ws(e){return e.split(".").map(t=>t.split("_").map(parseInt))}function OD(e){if(e.includes("-")){let[t,i]=e.split("-",2);return[Ws(t),Ws(i)]}else{let t=Ws(e);return[t,t]}}function Xb(e,t){let i=typeof e=="string"?Ws(e):e,a=typeof t=="string"?Ws(t):t;for(let n=0;np)return 1;if(cEhe(i,t)))}function Gh(e){let t=e.map(a=>typeof a=="string"?Ws(a):a),i=null;for(let a of t)(i===null||xhe(i,a))&&(i=a);return i===null?null:whe(i)}var Eze=ND.version,Vt=kD;if(De==="windows")for(let e of Object.keys(Vt))Vt[e].exe+=".exe";var Kh=Object.keys(Kb);function Yh(e){return Kh.includes(e)}function t3(e){return e==="HEAD"}function She(e){return Yh(e)||t3(e)||e==="latest"||e==="nightly"}function Nhe(e){if(e==="latest"){let t=Gh(Kh);return(0,Ks.default)(t!==null,["Could not resolve latest Agda version",`from list of known versions ${Kh.join(", ")}`].join(" ")),(0,Ks.default)(Yh(t),[`Resolved latest Agda version to version '${t}'`,`not in list of known versions ${Kh.join(", ")}`].join(" ")),t}else return e}var Qu=Object.keys(Wb);function Jb(e){return Qu.includes(e)}function _he(e){return Jb(e)||e==="recommended"||e==="latest"||e==="experimental"||e==="none"}function khe(e,t){var i;if(t==="none")return t;if(t==="latest"){let a=Gh(Qu);return(0,Ks.default)(a!==null,["Could not resolve latest agda-stdlib version",`from list of known versions [${Qu.join(", ")}]`].join(" ")),(0,Ks.default)(Jb(a),[`Resolved latest agda-stdlib version to version '${a}'`,`not in list of known versions [${Qu.join(", ")}]`].join(" ")),s.info(`Resolved latest Agda version to ${a}`),a}else if(t==="recommended"){if(e==="HEAD"||e==="nightly")return"experimental";{let a=(i=sl[e].compatibility)==null?void 0:i["agda-stdlib"];if(a===void 0)throw Error(`No known compatible agda-stdlib versions for ${e}; check Agda.yml?`);let n=AD(Qu,a);return(0,Ks.default)(n!==null,["Could not resolve recommended agda-stdlib version",`from compatible versions ${a}`].join(" ")),(0,Ks.default)(Jb(n),[`Resolved recommended agda-stdlib version to version '${n}'`,`not in list of compatible versions ${a}`].join(" ")),n}}else return t}async function The(e,t){var i;if(t==="recommended"){let a=e==="HEAD"?"*":(i=sl[e].compatibility)==null?void 0:i.ghc;if(a===void 0)throw Error(`No known compatible GHC versions for Agda ${e}`);let n=await Ki.maybeGetVersion();if(n!==null&&Wh.default.satisfies(n,a))return n;let r=Wh.default.maxSatisfying(Yb.ghc,a);if(r===null)throw Error(`Cannot find GHC version satisfying '${a}'`);return r}else if(t==="latest"){let a=Wh.default.maxSatisfying(Yb.ghc,"*");return(0,Ks.default)(a!==null),a}else return t}function Che(e,t){switch(e){case"HEAD":return"";case"nightly":return"";default:{let i=a=>lr(a).map(n=>n.trim()).join(" ");switch(t){case"none":return"";case"recommended":{let{configuration:a}=sl[e];return a===void 0?"":i(typeof a=="string"?a:a[De])}default:return i(t)}}}}var sl=Kb,jD=Wb;function Ohe(e,t){let i=typeof t=="function"?t:r=>t[r],a=r=>![void 0,null,!1,"false",""].includes(i(r)),n={};for(let[r,o]of Object.entries(e)){let l=o.default;n[r]=l===void 0?a(r):i(r)??l}return n}function PD(e){let t=Ohe(_D.inputs,e),i=t["agda-version"];if(!She(i))throw Error(`Unknown Agda version '${i}'`);let a=Nhe(i),n=t["agda-stdlib-version"];if(!_he(n))throw Error(`Unknown Agda version '${i}'`);let r=khe(a,n);return{...t,"agda-version":a,"agda-stdlib-version":r}}function Rhe(e){let t=e["bundle-name"].split(/\r?\n/g).map(i=>i.trim()).join("");try{let i=Zb.default.configure({autoescape:!1,throwOnUndefined:!0}),a=new Zb.default.Template(t,i,void 0,!0);return{...(0,e3.default)(e,["bundle","bundle-compress","bundle-license-report"]),"bundle-name":t,"bundle-name-template":a}}catch(i){throw Error([`Could not parse bundle name '${t}':`,Fe(i).message].join(ID.default.EOL))}}async function DD(e){let t=e["agda-version"];if(t==="nightly")throw Error("Cannot build Agda version 'nightly'; did you mean 'HEAD'?");let i=i3(e),a=i["ghc-version"],n=await The(t,a),r=Che(t,e["configure-options"]);if(i["stack-no-global"])throw Error("Value `true` for input `stack-no-global` is unsupported.");let o=e.bundle?Rhe(e):void 0;return{...i,"agda-version":t,"configure-options":r,"ghc-version":n,"bundle-options":o}}function LD(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 i3(e){let t=Object.keys(TD.inputs);return(0,e3.default)(e,t)}m();var BD=K(Rr(),1),n3=K(require("node:path"),1);m();var ol=K(tn(),1),Ma=K(require("node:path"),1);async function ti(e,t){let[i,a]=a3(t);await ue(i,e,a)}ti.readLibrariesSync=()=>{if(!ol.default.existsSync(zc()))return[];let e=ol.default.readFileSync(zc()).toString();return lr(e).map(i=>Ma.parse(i))};ti.readDefaultsSync=()=>{if(!ol.default.existsSync(qc()))return[];let e=ol.default.readFileSync(qc()).toString();return lr(e)};ti.readExecutablesSync=()=>{if(!ol.default.existsSync(Ko()))return[];let e=ol.default.readFileSync(Ko()).toString();return lr(e)};function a3(e){var a;let t=(e==null?void 0:e.agdaPath)??Vt["Agda:exe:agda"].exe,i=((a=e==null?void 0:e.env)==null?void 0:a.Agda_datadir)===void 0&&process.env.Agda_datadir!==void 0;if((e==null?void 0:e.agdaDataDir)!==void 0||i){let n=Ma.normalize(Ma.join(Ma.dirname(Ma.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}]}ti.getVersion=async e=>{let[t,i]=a3(e),{stdout:a}=await ue(t,["--version"],i);if(a.startsWith("Agda version "))return a.substring(13).trim();throw Error(`Could not parse Agda version: '${a}'`)};ti.getDataDir=async e=>{var n,r;let[t,i]=a3(e),a=await ti.getVersion(e);if(Vh(a,"2.6.2")){let{stdout:o}=await ue(t,["--print-agda-dir"],i);return o}else{let o=(e==null?void 0:e.agdaDataDir)??((n=e==null?void 0:e.env)==null?void 0:n.Agda_datadir);if(o!==void 0)return o;let l=(e==null?void 0:e.agdaPath)??null;if(l===null&&(l=await ue.which(Vt["Agda:exe:agda"].exe,{path:(r=e==null?void 0:e.env)==null?void 0:r.PATH}),l===null))throw Error("Could not find Agda executable; did you add Agda to the PATH?");return Ma.join(Ma.basename(l),"..","data")}};async function Zu(e){let t=await ti.getVersion(e);s.debug(`Found Agda version ${t}`);let i=await ti.getDataDir(e);s.debug(`Found Agda data directory at ${i}`);for(let a of BD.default.sync(n3.default.join(i,"lib","prim","**","*.agda")))s.debug(`Compiling ${a}`),await ti(["-v0",a],{...e,cwd:n3.default.join(i,"lib","prim")})}m();var zD=K(require("node:assert"),1);async function lp(e,t){(0,zD.default)(De!=="windows","MSYS2 does not support chmod"),await ue("chmod",e,t)}m();async function Xh(e,t){await ue("xattr",e,t)}ji();m();var qD=K(require("node:os"),1),ll=class extends Error{constructor(t){typeof t=="string"?super(`Unsupported library specification: ${t}`):super(`Unsupported library specification: ${t.href}`),Object.setPrototypeOf(this,ll.prototype)}},cp=class extends Error{constructor(t){super(`Missing library version tag in ${t.href}`),Object.setPrototypeOf(this,cp.prototype)}},pp=class extends Error{constructor(t){super(`Installation directory ${t} exists`),Object.setPrototypeOf(this,pp.prototype)}},dp=class extends Error{constructor(t){super(`Could not find an .agda-lib file in ${t}`),Object.setPrototypeOf(this,dp.prototype)}};var Ys=class extends Error{constructor(t,i,a){a instanceof Ys?super(a.message):(typeof i=="string"&&(i={url:i}),super([`Rejected distribution for Agda ${t} at ${i.url}:`,a.message].join(qD.EOL))),Object.setPrototypeOf(this,Ys.prototype)}},up=class extends Error{constructor(t){super(`Rejected all distributions for Agda ${t}`),Object.setPrototypeOf(this,up.prototype)}},Vr=class extends Error{constructor(t,i,a){super([`${t} ${i} require GHC ${a},`,"no GHC version could be found"].join(" ")),Object.setPrototypeOf(this,Vr.prototype)}},mp=class extends Error{constructor(t){super(`Could not find GHC version constraint for Agda ${t}`),Object.setPrototypeOf(this,mp.prototype)}},Gr=class extends Error{constructor(t,i,a,n){super([`${t} ${i} require GHC ${a},`,`but the current GHC version is ${n}`].join(" ")),Object.setPrototypeOf(this,Gr.prototype)}};async function r3(e){var i,a;let t=(a=(i=sl[e["agda-version"]].binary)==null?void 0:i[De])==null?void 0:a[cu];if(t===void 0||t.length===0)throw Error(`Could not find a binary distribution for ${cu}-${De}`);for(let n of t)try{let r=await Us(n);await Ahe(r),s.debug("Testing binary distribution");try{let l=Vt["Agda:exe:agda"].exe,c=Wr.join(r,"bin",l),p=Wr.join(r,"data");await Zu({agdaPath:c,agdaDataDir:p})}catch(l){throw new Ys(e["agda-version"],n,Fe(l))}let o=e.dest??jr(e["agda-version"]);if(Qh.default.existsSync(o))throw new pp(o);await Qh.default.mkdirp(Wr.dirname(o)),await Qh.default.copy(r,o);return}catch(r){s.warning(new Ys(e["agda-version"],n,Fe(r)));continue}throw new up(e["agda-version"])}async function Ahe(e){switch(De){case"linux":{for(let t of Object.values(Vt))s.debug(`Repair permissions for ${t.exe}`),await lp(["+x",Wr.join(e,"bin",t.exe)]);break}case"macos":{for(let i of Object.values(Vt))await lp(["+x",Wr.join(e,"bin",i.exe)]),await Xh(["-c",Wr.join(e,"bin",i.exe)]);let t=MD.default.sync(Wr.join(e,"lib","*"));for(let i of t)await lp(["+w",i]),await Xh(["-c",i]),await lp(["-w",i]);break}}}m();ji();var tL=K(require("node:assert"),1),Di=K(tn(),1),f3=K(require("node:os"),1),Pn=K(require("node:path"),1),iL=require("node:stream/promises"),aL=K($h(),1),nL=K(e1(),1);var Zh={licenses:{gmp:`GNU LESSER GENERAL PUBLIC LICENSE +`},"2.5.2":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.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/v2.0.0/agda-2.5.2-x64-macos-12-ghc8.0.2.zip",sha256:"824733b1631c6f11d136ee81e76def02fe74f72acf8cbb74323012decb58e792",target:"macos-12"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/v2.0.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 TD={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.',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"},"disable-matcher":{required:!1,description:"If specified, disables match messages from GHC as GitHub CI annotations"}},outputs:{"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)"},"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_"}},runs:{using:"node16",main:"dist/index.js"}};var Yb={ghc:["9.4.2","9.4.1","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.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.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.18.0"]};m();ji();async function Ki(e,t){await ue("ghc",e,t)}Ki.getInfo=async e=>{let{stdout:t}=await ue("ghc",["--info"],e),i=JSON.parse(t.replace(/\(/g,"[").replace(/\)/g,"]"));return Object.fromEntries(i.map(a=>[`ghc-info-${a[0].toLowerCase().replace(/ /g,"-")}`,a[1]]))};Ki.getVersion=async()=>{let{stdout:e}=await ue("ghc",["--numeric-version"]);return e};Ki.maybeGetVersion=async()=>{try{return await Ki.getVersion()}catch(e){return s.info(`Could not get installed GHC version: ${Fe(e).message}`),null}};ji();m();function lr(e){return e.split(/\r?\n/g).map(t=>t.trim()).filter(t=>t.length>0)}m();function Ws(e){return e.split(".").map(t=>t.split("_").map(parseInt))}function OD(e){if(e.includes("-")){let[t,i]=e.split("-",2);return[Ws(t),Ws(i)]}else{let t=Ws(e);return[t,t]}}function Xb(e,t){let i=typeof e=="string"?Ws(e):e,a=typeof t=="string"?Ws(t):t;for(let n=0;np)return 1;if(cEhe(i,t)))}function Gh(e){let t=e.map(a=>typeof a=="string"?Ws(a):a),i=null;for(let a of t)(i===null||xhe(i,a))&&(i=a);return i===null?null:whe(i)}var Eze=ND.version,Vt=kD;if(De==="windows")for(let e of Object.keys(Vt))Vt[e].exe+=".exe";var Kh=Object.keys(Kb);function Yh(e){return Kh.includes(e)}function t3(e){return e==="HEAD"}function She(e){return Yh(e)||t3(e)||e==="latest"||e==="nightly"}function Nhe(e){if(e==="latest"){let t=Gh(Kh);return(0,Ks.default)(t!==null,["Could not resolve latest Agda version",`from list of known versions ${Kh.join(", ")}`].join(" ")),(0,Ks.default)(Yh(t),[`Resolved latest Agda version to version '${t}'`,`not in list of known versions ${Kh.join(", ")}`].join(" ")),t}else return e}var Qu=Object.keys(Wb);function Jb(e){return Qu.includes(e)}function _he(e){return Jb(e)||e==="recommended"||e==="latest"||e==="experimental"||e==="none"}function khe(e,t){var i;if(t==="none")return t;if(t==="latest"){let a=Gh(Qu);return(0,Ks.default)(a!==null,["Could not resolve latest agda-stdlib version",`from list of known versions [${Qu.join(", ")}]`].join(" ")),(0,Ks.default)(Jb(a),[`Resolved latest agda-stdlib version to version '${a}'`,`not in list of known versions [${Qu.join(", ")}]`].join(" ")),s.info(`Resolved latest Agda version to ${a}`),a}else if(t==="recommended"){if(e==="HEAD"||e==="nightly")return"experimental";{let a=(i=sl[e].compatibility)==null?void 0:i["agda-stdlib"];if(a===void 0)throw Error(`No known compatible agda-stdlib versions for ${e}; check Agda.yml?`);let n=AD(Qu,a);return(0,Ks.default)(n!==null,["Could not resolve recommended agda-stdlib version",`from compatible versions ${a}`].join(" ")),(0,Ks.default)(Jb(n),[`Resolved recommended agda-stdlib version to version '${n}'`,`not in list of compatible versions ${a}`].join(" ")),n}}else return t}async function The(e,t){var i;if(t==="recommended"){let a=e==="HEAD"?"*":(i=sl[e].compatibility)==null?void 0:i.ghc;if(a===void 0)throw Error(`No known compatible GHC versions for Agda ${e}`);let n=await Ki.maybeGetVersion();if(n!==null&&Wh.default.satisfies(n,a))return n;let r=Wh.default.maxSatisfying(Yb.ghc,a);if(r===null)throw Error(`Cannot find GHC version satisfying '${a}'`);return r}else if(t==="latest"){let a=Wh.default.maxSatisfying(Yb.ghc,"*");return(0,Ks.default)(a!==null),a}else return t}function Che(e,t){switch(e){case"HEAD":return"";case"nightly":return"";default:{let i=a=>lr(a).map(n=>n.trim()).join(" ");switch(t){case"none":return"";case"recommended":{let{configuration:a}=sl[e];return a===void 0?"":i(typeof a=="string"?a:a[De])}default:return i(t)}}}}var sl=Kb,jD=Wb;function Ohe(e,t){let i=typeof t=="function"?t:r=>t[r],a=r=>![void 0,null,!1,"false",""].includes(i(r)),n={};for(let[r,o]of Object.entries(e)){let l=o.default;n[r]=l===void 0?a(r):i(r)??l}return n}function PD(e){let t=Ohe(_D.inputs,e),i=t["agda-version"];if(!She(i))throw Error(`Unknown Agda version '${i}'`);let a=Nhe(i),n=t["agda-stdlib-version"];if(!_he(n))throw Error(`Unknown Agda version '${i}'`);let r=khe(a,n);return{...t,"agda-version":a,"agda-stdlib-version":r}}function Rhe(e){let t=e["bundle-name"].split(/\r?\n/g).map(i=>i.trim()).join("");try{let i=Zb.default.configure({autoescape:!1,throwOnUndefined:!0}),a=new Zb.default.Template(t,i,void 0,!0);return{...(0,e3.default)(e,["bundle","bundle-compress","bundle-license-report"]),"bundle-name":t,"bundle-name-template":a}}catch(i){throw Error([`Could not parse bundle name '${t}':`,Fe(i).message].join(ID.default.EOL))}}async function DD(e){let t=e["agda-version"];if(t==="nightly")throw Error("Cannot build Agda version 'nightly'; did you mean 'HEAD'?");let i=i3(e),a=i["ghc-version"],n=await The(t,a),r=Che(t,e["configure-options"]);if(i["stack-no-global"])throw Error("Value `true` for input `stack-no-global` is unsupported.");let o=e.bundle?Rhe(e):void 0;return{...i,"agda-version":t,"configure-options":r,"ghc-version":n,"bundle-options":o}}function LD(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 i3(e){let t=Object.keys(TD.inputs);return(0,e3.default)(e,t)}m();var BD=K(Rr(),1),n3=K(require("node:path"),1);m();var ol=K(tn(),1),Ma=K(require("node:path"),1);async function ti(e,t){let[i,a]=a3(t);await ue(i,e,a)}ti.readLibrariesSync=()=>{if(!ol.default.existsSync(zc()))return[];let e=ol.default.readFileSync(zc()).toString();return lr(e).map(i=>Ma.parse(i))};ti.readDefaultsSync=()=>{if(!ol.default.existsSync(qc()))return[];let e=ol.default.readFileSync(qc()).toString();return lr(e)};ti.readExecutablesSync=()=>{if(!ol.default.existsSync(Ko()))return[];let e=ol.default.readFileSync(Ko()).toString();return lr(e)};function a3(e){var a;let t=(e==null?void 0:e.agdaPath)??Vt["Agda:exe:agda"].exe,i=((a=e==null?void 0:e.env)==null?void 0:a.Agda_datadir)===void 0&&process.env.Agda_datadir!==void 0;if((e==null?void 0:e.agdaDataDir)!==void 0||i){let n=Ma.normalize(Ma.join(Ma.dirname(Ma.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}]}ti.getVersion=async e=>{let[t,i]=a3(e),{stdout:a}=await ue(t,["--version"],i);if(a.startsWith("Agda version "))return a.substring(13).trim();throw Error(`Could not parse Agda version: '${a}'`)};ti.getDataDir=async e=>{var n,r;let[t,i]=a3(e),a=await ti.getVersion(e);if(Vh(a,"2.6.2")){let{stdout:o}=await ue(t,["--print-agda-dir"],i);return o}else{let o=(e==null?void 0:e.agdaDataDir)??((n=e==null?void 0:e.env)==null?void 0:n.Agda_datadir);if(o!==void 0)return o;let l=(e==null?void 0:e.agdaPath)??null;if(l===null&&(l=await ue.which(Vt["Agda:exe:agda"].exe,{path:(r=e==null?void 0:e.env)==null?void 0:r.PATH}),l===null))throw Error("Could not find Agda executable; did you add Agda to the PATH?");return Ma.join(Ma.basename(l),"..","data")}};async function Zu(e){let t=await ti.getVersion(e);s.debug(`Found Agda version ${t}`);let i=await ti.getDataDir(e);s.debug(`Found Agda data directory at ${i}`);for(let a of BD.default.sync(n3.default.join(i,"lib","prim","**","*.agda")))s.debug(`Compiling ${a}`),await ti(["-v0",a],{...e,cwd:n3.default.join(i,"lib","prim")})}m();var zD=K(require("node:assert"),1);async function lp(e,t){(0,zD.default)(De!=="windows","MSYS2 does not support chmod"),await ue("chmod",e,t)}m();async function Xh(e,t){await ue("xattr",e,t)}ji();m();var qD=K(require("node:os"),1),ll=class extends Error{constructor(t){typeof t=="string"?super(`Unsupported library specification: ${t}`):super(`Unsupported library specification: ${t.href}`),Object.setPrototypeOf(this,ll.prototype)}},cp=class extends Error{constructor(t){super(`Missing library version tag in ${t.href}`),Object.setPrototypeOf(this,cp.prototype)}},pp=class extends Error{constructor(t){super(`Installation directory ${t} exists`),Object.setPrototypeOf(this,pp.prototype)}},dp=class extends Error{constructor(t){super(`Could not find an .agda-lib file in ${t}`),Object.setPrototypeOf(this,dp.prototype)}};var Ys=class extends Error{constructor(t,i,a){a instanceof Ys?super(a.message):(typeof i=="string"&&(i={url:i}),super([`Rejected distribution for Agda ${t} at ${i.url}:`,a.message].join(qD.EOL))),Object.setPrototypeOf(this,Ys.prototype)}},up=class extends Error{constructor(t){super(`Rejected all distributions for Agda ${t}`),Object.setPrototypeOf(this,up.prototype)}},Vr=class extends Error{constructor(t,i,a){super([`${t} ${i} require GHC ${a},`,"no GHC version could be found"].join(" ")),Object.setPrototypeOf(this,Vr.prototype)}},mp=class extends Error{constructor(t){super(`Could not find GHC version constraint for Agda ${t}`),Object.setPrototypeOf(this,mp.prototype)}},Gr=class extends Error{constructor(t,i,a,n){super([`${t} ${i} require GHC ${a},`,`but the current GHC version is ${n}`].join(" ")),Object.setPrototypeOf(this,Gr.prototype)}};async function r3(e){var i,a;let t=(a=(i=sl[e["agda-version"]].binary)==null?void 0:i[De])==null?void 0:a[cu];if(t===void 0||t.length===0)throw Error(`Could not find a binary distribution for ${cu}-${De}`);for(let n of t)try{let r=await Us(n);await Ahe(r),s.debug("Testing binary distribution");try{let l=Vt["Agda:exe:agda"].exe,c=Wr.join(r,"bin",l),p=Wr.join(r,"data");await Zu({agdaPath:c,agdaDataDir:p})}catch(l){throw new Ys(e["agda-version"],n,Fe(l))}let o=e.dest??jr(e["agda-version"]);if(Qh.default.existsSync(o))throw new pp(o);await Qh.default.mkdirp(Wr.dirname(o)),await Qh.default.copy(r,o);return}catch(r){s.warning(new Ys(e["agda-version"],n,Fe(r)));continue}throw new up(e["agda-version"])}async function Ahe(e){switch(De){case"linux":{for(let t of Object.values(Vt))s.debug(`Repair permissions for ${t.exe}`),await lp(["+x",Wr.join(e,"bin",t.exe)]);break}case"macos":{for(let i of Object.values(Vt))await lp(["+x",Wr.join(e,"bin",i.exe)]),await Xh(["-c",Wr.join(e,"bin",i.exe)]);let t=MD.default.sync(Wr.join(e,"lib","*"));for(let i of t)await lp(["+w",i]),await Xh(["-c",i]),await lp(["-w",i]);break}}}m();ji();var tL=K(require("node:assert"),1),Di=K(tn(),1),f3=K(require("node:os"),1),Pn=K(require("node:path"),1),iL=require("node:stream/promises"),aL=K($h(),1),nL=K(e1(),1);var Zh={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 2c9b2fc..81c7a24 100644 --- a/src/data/Agda.versions.json +++ b/src/data/Agda.versions.json @@ -35,12 +35,12 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-macos-12-ghc9.4.4-icu72.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/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.0.0/agda-2.6.3-x64-macos-11-ghc9.4.4-icu72.1.zip", "sha256": "ff0ea4f5e57064df1664a251119b78409c2c7f2f84e4592d4c8f85c197401c2d", "target": "macos-11" } @@ -49,12 +49,12 @@ "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", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/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.0.0/agda-2.6.3-x64-ubuntu-20.04-ghc9.4.4-icu66.1.zip", "sha256": "12d62d4783fb8daaa1a0630fbb68a412ad4c23dc52a33eef0eab6a514d291d08", "target": "ubuntu-20.04" } @@ -63,7 +63,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.0.0/agda-2.6.3-x64-windows-2022-ghc9.4.4-icu72.1.zip", "sha256": "2143d880a85da0d71951b7471e6f3414f6c07ce6cd70e936fd0451b0b9d46951", "target": "windows-2022" } @@ -85,12 +85,12 @@ "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.0.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", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.2.2-x64-macos-12-ghc9.2.4-icu72.1.zip", "sha256": "d1205dd6527033c5011e1800e26bc24dc784d5a761bebebf20da150a70c5de3a", "target": "macos-12" } @@ -99,12 +99,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.0.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", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.2.2-x64-ubuntu-22.04-ghc9.2.4-icu70.1.zip", "sha256": "d49021a4dd6852648d64a8911be8e90b76c0adab92d14d54e018287b20712e72", "target": "ubuntu-22.04" } @@ -113,12 +113,7 @@ "windows": { "x64": [ { - "url": "https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.2-x64-windows-2022-icu72.1-ghc9.2.4.zip", - "sha256": "e442bf8ec6e6dc6cbffe6537144878a2eef0057a43c7bdd3a5d4d9828ae20582", - "target": "windows-2022" - }, - { - "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.0.0/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip", "sha256": "e442bf8ec6e6dc6cbffe6537144878a2eef0057a43c7bdd3a5d4d9828ae20582", "target": "windows-2022" } @@ -140,12 +135,12 @@ "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.0.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", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.2.1-x64-macos-12-ghc9.0.2-icu72.1.zip", "sha256": "d10863cba4aa7cf7a539f6a6922846be1773cac8bc2bea76d773a007fff60510", "target": "macos-12" } @@ -154,12 +149,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.0.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", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.2.1-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip", "sha256": "a7d48d29f41a21efd683b04ae321112f7dc40944f8df29e8a76319e52941d7a8", "target": "ubuntu-22.04" } @@ -168,12 +163,7 @@ "windows": { "x64": [ { - "url": "https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.1-x64-windows-2022-icu72.1-ghc9.0.2.zip", - "sha256": "1bdbc325826268bbd8289cc0737dbab3390e4767da13c269c22847a45d1df86a", - "target": "windows-2022" - }, - { - "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.0.0/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip", "sha256": "1bdbc325826268bbd8289cc0737dbab3390e4767da13c269c22847a45d1df86a", "target": "windows-2022" } @@ -195,12 +185,12 @@ "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.0.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", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.2-x64-macos-12-ghc9.0.2-icu72.1.zip", "sha256": "d45220cf1c8204483dfe0b97aeaa13127e70d9b80811de2b3b92219606647cb2", "target": "macos-12" } @@ -209,12 +199,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.0.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", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.2-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip", "sha256": "ca014d2053274d8b8d69d25be4c6c75988a5e59794739420582a179227a95fa1", "target": "ubuntu-22.04" } @@ -223,12 +213,7 @@ "windows": { "x64": [ { - "url": "https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2-x64-windows-2022-icu72.1-ghc9.0.2.zip", - "sha256": "be38e10485e6d3a2836d330a7e08de6993b5ce112803f4efa56c11a0c15eeffa", - "target": "windows-2022" - }, - { - "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.0.0/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip", "sha256": "be38e10485e6d3a2836d330a7e08de6993b5ce112803f4efa56c11a0c15eeffa", "target": "windows-2022" } @@ -250,12 +235,12 @@ "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.0.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", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.1.3-x64-macos-12-ghc8.10.7-icu72.1.zip", "sha256": "1828e2ae06621d70acb8c0fa5c6bf8fb14b40a4be34d26c5a69c1c40b712717d", "target": "macos-12" } @@ -264,12 +249,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.0.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", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.1.3-x64-ubuntu-22.04-ghc8.10.7-icu70.1.zip", "sha256": "b52dacaa226f914d470edf517c4c172bd275ecbf4ec1315e0ed92758daae095a", "target": "ubuntu-22.04" } @@ -294,12 +279,12 @@ "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.0.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", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.0.1-x64-macos-12-ghc8.6.5-icu72.1.zip", "sha256": "19e8a75237940f4ab28cd19e74e08f000a88c7f448c700a922399456c7e86aec", "target": "macos-12" } @@ -308,12 +293,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.0.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", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.6.0.1-x64-ubuntu-22.04-ghc8.6.5-icu70.1.zip", "sha256": "8bb8524b95a08bb15f599ece371039d045b90d47ac8c1a44014af746dae7e3fb", "target": "ubuntu-22.04" } @@ -334,12 +319,12 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu72.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu72.1.zip", "sha256": "02bf624508d2fb2c7221cda40c1907cf4989bf709b9c1f33b63f4a909faedb7b", "target": "macos-11" }, { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu72.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu72.1.zip", "sha256": "f6fe5530a66c2aa36696864841ef8d937f56d5f3ef4000e86bc657eee5a2807a", "target": "macos-12" } @@ -348,12 +333,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.0.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", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.4.2-x64-ubuntu-22.04-ghc8.4.4-icu70.1.zip", "sha256": "f183a793a1dd0856f69a86bc17d293ec52b2270113507ff59811fa5de59ebf18", "target": "ubuntu-22.04" } @@ -374,12 +359,12 @@ "macos": { "x64": [ { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-11-ghc8.2.2-icu72.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.3-x64-macos-11-ghc8.2.2-icu72.1.zip", "sha256": "a13960b2e8946f1790f62b3c9db26dd80194e3b6e9e7a1d294a5932086121a9f", "target": "macos-11" }, { - "url": "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-12-ghc8.2.2-icu72.1.zip", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.3-x64-macos-12-ghc8.2.2-icu72.1.zip", "sha256": "568fd9332f64c44b87898680593a8899f2e3e2531fdfed67375ae53fb14aaf17", "target": "macos-12" } @@ -388,7 +373,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.0.0/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip", "sha256": "6a450bd50e7f403caf1d4e63d6381fc9fe0109053686b7e0b8a0ad5ba1eca9a1", "target": "ubuntu-20.04" } @@ -409,12 +394,12 @@ "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.0.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", + "url": "https://github.com/wenkokke/setup-agda/releases/download/v2.0.0/agda-2.5.2-x64-macos-12-ghc8.0.2.zip", "sha256": "824733b1631c6f11d136ee81e76def02fe74f72acf8cbb74323012decb58e792", "target": "macos-12" } @@ -423,7 +408,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.0.0/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip", "sha256": "6db78288847727714bafd1b8a4b493d40d8e4492990951bda9f893b3b73e6747", "target": "ubuntu-20.04" }