From 1f6ecd2937dc5a45c91603f30355581a4039bfdf Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Fri, 3 Feb 2023 19:11:59 +0000 Subject: [PATCH] Fix URLs --- dist/index.js | 2 +- src/data/Agda.json | 66 +++++++++++++++++++++++----------------------- 2 files changed, 34 insertions(+), 34 deletions(-) diff --git a/dist/index.js b/dist/index.js index 1e1913d..0d95b19 100644 --- a/dist/index.js +++ b/dist/index.js @@ -33268,7 +33268,7 @@ module.exports = JSON.parse('{"Agda:exe:agda":{"exe":"agda"},"Agda:exe:agda-mode /***/ ((module) => { "use strict"; -module.exports = JSON.parse('{"nightly":{"binary":{"darwin":{"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"}]},"win32":{"x64":[{"url":"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-win64.zip","dir":"Agda-nightly"}]}},"compatibility":{"agda-stdlib":"1.7.1"}},"2.6.2.2":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-11-ghc9.2.4-icu71.1.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-12-ghc9.2.4-icu71.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-22.04-ghc9.2.4-icu70.1.zip"]},"win32":{"x64":["https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.2-x64-windows-2022-icu72.1-ghc9.2.4.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip"]}},"compatibility":{"agda-stdlib":"1.7.1","ghc":"8.0 - 9.2"}},"2.6.2.1":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-11-ghc9.0.2-icu71.1.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-12-ghc9.0.2-icu71.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip"]},"win32":{"x64":["https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.1-x64-windows-2022-icu72.1-ghc9.0.2.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip"]}},"compatibility":{"agda-stdlib":"1.7.1","ghc":"8.0 - 9.2"}},"2.6.2":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-11-ghc9.0.2-icu71.1.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-12-ghc9.0.2-icu71.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip"]},"win32":{"x64":["https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2-x64-windows-2022-icu72.1-ghc9.0.2.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip"]}},"compatibility":{"agda-stdlib":"1.7 - 1.7.1","ghc":"8.0 - 9.0"}},"2.6.1.3":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-11-ghc8.10.7-icu71.1.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-12-ghc8.10.7-icu71.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-22.04-ghc8.10.7-icu70.1.zip"]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"1.5 - 1.6","ghc":"8.0 - 8.10"}},"2.6.0.1":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-11-ghc8.6.5-icu71.1.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-12-ghc8.6.5-icu71.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-22.04-ghc8.6.5-icu70.1.zip"]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"1.0.1 - 1.2","ghc":"7.10 - 8.6"}},"2.5.4.2":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu71.1.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu71.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-22.04-ghc8.4.4-icu70.1.zip"]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.17","ghc":"7.10 - 8.4"}},"2.5.3":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-11-ghc8.2.2-icu71.1.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-12-ghc8.2.2-icu71.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip"]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.14 - 0.15","ghc":"7.8 - 8.2"}},"2.5.2":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-macos-11-ghc8.0.2.zip","https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-macos-12-ghc8.0.2.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip"]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.13","ghc":"7.6 - 8.0"}},"2.5.1.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.12","ghc":"7.6 - 8.0"}},"2.4.2.5":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.11","ghc":"7.6 - 7.10"}},"2.4.2.4":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.11","ghc":"7.6 - 7.10"}},"2.4.2.3":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.10","ghc":"7.4 - 7.10"}},"2.4.2.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.9","ghc":"7.0 - 7.8"}},"2.4.2.1":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.9","ghc":"7.0 - 7.8"}},"2.4.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.8.1","ghc":"7.0 - 7.8"}},"2.4.0.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.8","ghc":"7.0 - 7.8"}},"2.4.0.1":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.8","ghc":"7.0 - 7.8"}},"2.4.0":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.8","ghc":"7.0 - 7.8"}},"2.3.2.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.7"}},"2.3.2.1":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.7"}},"2.3.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.7"}},"2.3.0.1":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.6"}},"2.3.0":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.6"}},"2.2.10":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.5"}},"2.2.8":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.4"}},"2.2.6":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.3"}},"2.2.4":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.2"}},"2.2.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.1"}},"2.2.0":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.1"}}}'); +module.exports = JSON.parse('{"nightly":{"binary":{"darwin":{"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"}]},"win32":{"x64":[{"url":"https://github.com/agda/agda/releases/download/nightly/Agda-nightly-win64.zip","dir":"Agda-nightly"}]}},"compatibility":{"agda-stdlib":"1.7.1"}},"2.6.2.2":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.2-x64-macos-11-ghc9.2.4-icu72.1.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.2-x64-macos-12-ghc9.2.4-icu72.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.2-x64-ubuntu-22.04-ghc9.2.4-icu70.1.zip"]},"win32":{"x64":["https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.2-x64-windows-2022-icu72.1-ghc9.2.4.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip"]}},"compatibility":{"agda-stdlib":"1.7.1","ghc":"8.0 - 9.2"}},"2.6.2.1":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.1-x64-macos-11-ghc9.0.2-icu72.1.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.1-x64-macos-12-ghc9.0.2-icu72.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.1-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip"]},"win32":{"x64":["https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.1-x64-windows-2022-icu72.1-ghc9.0.2.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip"]}},"compatibility":{"agda-stdlib":"1.7.1","ghc":"8.0 - 9.2"}},"2.6.2":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2-x64-macos-11-ghc9.0.2-icu72.1.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2-x64-macos-12-ghc9.0.2-icu72.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip"]},"win32":{"x64":["https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2-x64-windows-2022-icu72.1-ghc9.0.2.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip"]}},"compatibility":{"agda-stdlib":"1.7 - 1.7.1","ghc":"8.0 - 9.0"}},"2.6.1.3":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.1.3-x64-macos-11-ghc8.10.7-icu72.1.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.1.3-x64-macos-12-ghc8.10.7-icu72.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.1.3-x64-ubuntu-22.04-ghc8.10.7-icu70.1.zip"]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"1.5 - 1.6","ghc":"8.0 - 8.10"}},"2.6.0.1":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.0.1-x64-macos-11-ghc8.6.5-icu72.1.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.0.1-x64-macos-12-ghc8.6.5-icu72.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.0.1-x64-ubuntu-22.04-ghc8.6.5-icu70.1.zip"]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"1.0.1 - 1.2","ghc":"7.10 - 8.6"}},"2.5.4.2":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu72.1.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu72.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.4.2-x64-ubuntu-22.04-ghc8.4.4-icu70.1.zip"]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.17","ghc":"7.10 - 8.4"}},"2.5.3":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.3-x64-macos-11-ghc8.2.2-icu72.1.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.3-x64-macos-12-ghc8.2.2-icu72.1.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip"]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.14 - 0.15","ghc":"7.8 - 8.2"}},"2.5.2":{"binary":{"darwin":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.2-x64-macos-11-ghc8.0.2.zip","https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.2-x64-macos-12-ghc8.0.2.zip"]},"linux":{"x64":["https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip"]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.13","ghc":"7.6 - 8.0"}},"2.5.1.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.12","ghc":"7.6 - 8.0"}},"2.4.2.5":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.11","ghc":"7.6 - 7.10"}},"2.4.2.4":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.11","ghc":"7.6 - 7.10"}},"2.4.2.3":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.10","ghc":"7.4 - 7.10"}},"2.4.2.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.9","ghc":"7.0 - 7.8"}},"2.4.2.1":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.9","ghc":"7.0 - 7.8"}},"2.4.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.8.1","ghc":"7.0 - 7.8"}},"2.4.0.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.8","ghc":"7.0 - 7.8"}},"2.4.0.1":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.8","ghc":"7.0 - 7.8"}},"2.4.0":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.8","ghc":"7.0 - 7.8"}},"2.3.2.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.7"}},"2.3.2.1":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.7"}},"2.3.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.7"}},"2.3.0.1":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.6"}},"2.3.0":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.6"}},"2.2.10":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.5"}},"2.2.8":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.4"}},"2.2.6":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.3"}},"2.2.4":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.2"}},"2.2.2":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.1"}},"2.2.0":{"binary":{"darwin":{"x64":[]},"linux":{"x64":[]},"win32":{"x64":[]}},"compatibility":{"agda-stdlib":"0.1"}}}'); /***/ }), diff --git a/src/data/Agda.json b/src/data/Agda.json index e90107a..3a81255 100644 --- a/src/data/Agda.json +++ b/src/data/Agda.json @@ -34,20 +34,20 @@ "binary": { "darwin": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-11-ghc9.2.4-icu71.1.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-macos-12-ghc9.2.4-icu71.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.2-x64-macos-11-ghc9.2.4-icu72.1.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.2-x64-macos-12-ghc9.2.4-icu72.1.zip" ] }, "linux": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-ubuntu-22.04-ghc9.2.4-icu70.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.2-x64-ubuntu-20.04-ghc9.2.4-icu66.1.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.2-x64-ubuntu-22.04-ghc9.2.4-icu70.1.zip" ] }, "win32": { "x64": [ "https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.2-x64-windows-2022-icu72.1-ghc9.2.4.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.2-x64-windows-2022-ghc9.2.4-icu72.1.zip" ] } }, @@ -60,20 +60,20 @@ "binary": { "darwin": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-11-ghc9.0.2-icu71.1.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-macos-12-ghc9.0.2-icu71.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.1-x64-macos-11-ghc9.0.2-icu72.1.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.1-x64-macos-12-ghc9.0.2-icu72.1.zip" ] }, "linux": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.1-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.1-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip" ] }, "win32": { "x64": [ "https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2.1-x64-windows-2022-icu72.1-ghc9.0.2.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2.1-x64-windows-2022-ghc9.0.2-icu72.1.zip" ] } }, @@ -86,20 +86,20 @@ "binary": { "darwin": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-11-ghc9.0.2-icu71.1.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-macos-12-ghc9.0.2-icu71.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2-x64-macos-11-ghc9.0.2-icu72.1.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2-x64-macos-12-ghc9.0.2-icu72.1.zip" ] }, "linux": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2-x64-ubuntu-20.04-ghc9.0.2-icu66.1.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2-x64-ubuntu-22.04-ghc9.0.2-icu70.1.zip" ] }, "win32": { "x64": [ "https://msp.cis.strath.ac.uk/files/agda/agda-2.6.2-x64-windows-2022-icu72.1-ghc9.0.2.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.2-x64-windows-2022-ghc9.0.2-icu72.1.zip" ] } }, @@ -112,14 +112,14 @@ "binary": { "darwin": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-11-ghc8.10.7-icu71.1.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-macos-12-ghc8.10.7-icu71.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.1.3-x64-macos-11-ghc8.10.7-icu72.1.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.1.3-x64-macos-12-ghc8.10.7-icu72.1.zip" ] }, "linux": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.1.3-x64-ubuntu-22.04-ghc8.10.7-icu70.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.1.3-x64-ubuntu-20.04-ghc8.10.7-icu66.1.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.1.3-x64-ubuntu-22.04-ghc8.10.7-icu70.1.zip" ] }, "win32": { @@ -135,14 +135,14 @@ "binary": { "darwin": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-11-ghc8.6.5-icu71.1.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-macos-12-ghc8.6.5-icu71.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.0.1-x64-macos-11-ghc8.6.5-icu72.1.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.0.1-x64-macos-12-ghc8.6.5-icu72.1.zip" ] }, "linux": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.0.1-x64-ubuntu-22.04-ghc8.6.5-icu70.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.0.1-x64-ubuntu-20.04-ghc8.6.5-icu66.1.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.6.0.1-x64-ubuntu-22.04-ghc8.6.5-icu70.1.zip" ] }, "win32": { @@ -158,14 +158,14 @@ "binary": { "darwin": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu71.1.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu71.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.4.2-x64-macos-11-ghc8.4.4-icu72.1.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.4.2-x64-macos-12-ghc8.4.4-icu72.1.zip" ] }, "linux": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.4.2-x64-ubuntu-22.04-ghc8.4.4-icu70.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.4.2-x64-ubuntu-20.04-ghc8.4.4-icu66.1.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.4.2-x64-ubuntu-22.04-ghc8.4.4-icu70.1.zip" ] }, "win32": { @@ -181,13 +181,13 @@ "binary": { "darwin": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-11-ghc8.2.2-icu71.1.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-macos-12-ghc8.2.2-icu71.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.3-x64-macos-11-ghc8.2.2-icu72.1.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.3-x64-macos-12-ghc8.2.2-icu72.1.zip" ] }, "linux": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.3-x64-ubuntu-20.04-ghc8.2.2-icu66.1.zip" ] }, "win32": { @@ -203,13 +203,13 @@ "binary": { "darwin": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-macos-11-ghc8.0.2.zip", - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-macos-12-ghc8.0.2.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.2-x64-macos-11-ghc8.0.2.zip", + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.2-x64-macos-12-ghc8.0.2.zip" ] }, "linux": { "x64": [ - "https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip" + "https://github.com/wenkokke/setup-agda/releases/download/v1.2.0/agda-2.5.2-x64-ubuntu-20.04-ghc8.0.2.zip" ] }, "win32": {