Skip to content

Commit

Permalink
Fix URLs
Browse files Browse the repository at this point in the history
  • Loading branch information
@wenkokke
wenkokke committed Feb 3, 2023
1 parent 7cf23b2 commit 1f6ecd2
Show file tree
Hide file tree
Showing 2 changed files with 34 additions and 34 deletions.
2 changes: 1 addition & 1 deletion dist/index.js
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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"}}}');

/***/ }),

Expand Down
Loading

0 comments on commit 1f6ecd2

Please sign in to comment.