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": {