Support agda-stdlib v2.0 (#207)

data/Agda.versions.yml

@@ -13,7 +13,7 @@ nightly:
         - url: https://github.com/agda/agda/releases/download/nightly/Agda-nightly-win64.zip
           dir: Agda-nightly
   compatibility:
-    agda-stdlib: '1.7.3'
+    agda-stdlib: '1.7.3 - 2.0'
 2.6.4.1:
   binary:
     macos:
@@ -41,7 +41,7 @@ nightly:
           sha256: 19a761f43e0370f8e82e4ea7dd80e4b222e12b9b0a1e1539bf8d6d08d5188e81
           target: windows-2022
   compatibility:
-    agda-stdlib: '1.7.3'
+    agda-stdlib: '1.7.3 - 2.0'
     ghc: '8.6.5 - 9.8.1'
   configuration:
     macos: |

data/agda-stdlib.versions.yml

@@ -1,3 +1,8 @@
+'2.0':
+  source:
+    url: 'https://github.com/agda/agda-stdlib/archive/refs/tags/v2.0.zip'
+    tag: 'v2.0'
+    dir: 'agda-stdlib-2.0'
 '1.7.3':
   source:
     url: 'https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.3.zip'

dist/action.cjs

@@ -236,7 +236,7 @@ Maximum 90 days unless changed from the repository settings page.
 `,required:!1},"stack-no-global":{description:`If specified, enable-stack must be set. Prevents installing GHC and Cabal globally.
 `,required:!1},"stack-setup-ghc":{description:`If specified, enable-stack must be set. Will run stack setup to install the specified GHC.
 `,required:!1},"cabal-update":{required:!1,description:"If specified, will run `cabal update`.\n"},"ghcup-release-channel":{required:!1,description:"If specified, value is added as a ghcup release channel via `ghcup config add-release-channel`.\n"},"disable-matcher":{required:!1,description:`If specified, disables match messages from GHC as GitHub CI annotations.
-`}},outputs:{"agda-version":{description:"The resolved Agda version."},"agda-path":{description:"The path of the agda executable _directory_."},"agda-data-path":{description:"The path of the agda data _directory_."},"agda-exe":{description:"The path of the agda _executable_."},"agda-mode-exe":{description:"The path of the agda-mode _executable_."},"setup-haskell":{description:"Whether or not actions/haskell/setup was called."},"ghc-version":{description:"The resolved version of ghc"},"cabal-version":{description:"The resolved version of cabal"},"stack-version":{description:"The resolved version of stack"},"ghc-exe":{description:"The path of the ghc _executable_"},"cabal-exe":{description:"The path of the cabal _executable_"},"stack-exe":{description:"The path of the stack _executable_"},"ghc-path":{description:"The path of the ghc executable _directory_"},"cabal-path":{description:"The path of the cabal executable _directory_"},"stack-path":{description:"The path of the stack executable _directory_"},"cabal-store":{description:"The path to the cabal store"},"stack-root":{description:"The path to the stack root (equal to the STACK_ROOT environment variable if it is set; otherwise an OS-specific default)"}},runs:{using:"node16",main:"./dist/action.cjs"},branding:{icon:"feather",color:"purple"}};var F2={"1.7.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.3.zip",tag:"v1.7.3",dir:"agda-stdlib-1.7.3"}},"1.7.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.2.zip",tag:"v1.7.2",dir:"agda-stdlib-1.7.2"}},"1.7.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.1.zip",tag:"v1.7.1",dir:"agda-stdlib-1.7.1"}},"1.7":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.zip",tag:"v1.7",dir:"agda-stdlib-1.7"}},"1.6":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.6.zip",tag:"v1.6",dir:"agda-stdlib-1.6"}},"1.5":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.5.zip",tag:"v1.5",dir:"agda-stdlib-1.5"}},"1.4":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.4.zip",tag:"v1.4",dir:"agda-stdlib-1.4"}},"1.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.3.zip",tag:"v1.3",dir:"agda-stdlib-1.3"}},"1.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.2.zip",tag:"v1.2",dir:"agda-stdlib-1.2"}},"1.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.1.zip",tag:"v1.1",dir:"agda-stdlib-1.1"}},"1.0.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.0.1.zip",tag:"v1.0.1",dir:"agda-stdlib-1.0.1"}},"1.0":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.0.zip",tag:"v1.0",dir:"agda-stdlib-1.0"}},"0.17":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.17.zip",tag:"v0.17",dir:"agda-stdlib-0.17"}},"0.16":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.16.zip",tag:"v0.16",dir:"agda-stdlib-0.16"}},"0.16.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.16.1.zip",tag:"v0.16.1",dir:"agda-stdlib-0.16.1"}},"0.15":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.15.zip",tag:"v0.15",dir:"agda-stdlib-0.15"}},"0.14":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.14.zip",tag:"v0.14",dir:"agda-stdlib-0.14"}},"0.13":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.13.zip",tag:"v0.13",dir:"agda-stdlib-0.13"}},"0.12":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.12.zip",tag:"v0.12",dir:"agda-stdlib-0.12"}},"0.11":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.11.zip",tag:"v0.11",dir:"agda-stdlib-0.11"}},"0.10":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.10.zip",tag:"v0.10",dir:"agda-stdlib-0.10"}},"0.9":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.9.zip",tag:"v0.9",dir:"agda-stdlib-0.9"}},"0.8.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.8.1.zip",tag:"v0.8.1",dir:"agda-stdlib-0.8.1"}},"0.8":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.8.zip",tag:"v0.8",dir:"agda-stdlib-0.8"}},"0.7":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_7.zip",tag:"0_7",dir:"agda-stdlib-0_7"}},"0.6":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_6.zip",tag:"0_6",dir:"agda-stdlib-0_6"}},"0.5":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_5.zip",tag:"0_5",dir:"agda-stdlib-0_5"}},"0.4":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_4.zip",tag:"0_4",dir:"agda-stdlib-0_4"}},"0.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_3.zip",tag:"0_3",dir:"agda-stdlib-0_3"}},"0.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_2.zip",tag:"0_2",dir:"agda-stdlib-0_2"}},"0.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_1.zip",tag:"0_1",dir:"agda-stdlib-0_1"}}};var ay={"Agda:exe:agda":{exe:"agda"},"Agda:exe:agda-mode":{exe:"agda-mode"}};var k2={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.3"}},"2.6.4.1":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-11-ghc9.4.7-icu73.2.zip",sha256:"aa716b624d8351fb962600f9a95fad3a17bbb0ea969d32b636c27c567b4b2cc5",target:"macos-11"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-12-ghc9.4.7-icu73.2.zip",sha256:"d56b21198cc87b05634501535c26980604dbed9459255643ede054dda6e96889",target:"macos-12"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-13-ghc9.4.7-icu73.2.zip",sha256:"b3a61968f2e7b94b76bb6ca9276dc8f499c2d89cccb1e1a3f9fb6d4dc98da631",target:"macos-13"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1.zip",sha256:"22adb4ee6be4ecafd7bc1efc91121944de18cc988e8098e8474f4c8bf67fb004",target:"ubuntu-20.04"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-22.04-ghc9.4.7-icu70.1.zip",sha256:"bd6aca2275ec9947643f51fe30826714a451aadef681d83c70a48c4a36c31665",target:"ubuntu-22.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.1.zip",sha256:"19a761f43e0370f8e82e4ea7dd80e4b222e12b9b0a1e1539bf8d6d08d5188e81",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.3",ghc:"8.6.5 - 9.8.1"},configuration:{macos:`--flags=+enable-cluster-counting
+`}},outputs:{"agda-version":{description:"The resolved Agda version."},"agda-path":{description:"The path of the agda executable _directory_."},"agda-data-path":{description:"The path of the agda data _directory_."},"agda-exe":{description:"The path of the agda _executable_."},"agda-mode-exe":{description:"The path of the agda-mode _executable_."},"setup-haskell":{description:"Whether or not actions/haskell/setup was called."},"ghc-version":{description:"The resolved version of ghc"},"cabal-version":{description:"The resolved version of cabal"},"stack-version":{description:"The resolved version of stack"},"ghc-exe":{description:"The path of the ghc _executable_"},"cabal-exe":{description:"The path of the cabal _executable_"},"stack-exe":{description:"The path of the stack _executable_"},"ghc-path":{description:"The path of the ghc executable _directory_"},"cabal-path":{description:"The path of the cabal executable _directory_"},"stack-path":{description:"The path of the stack executable _directory_"},"cabal-store":{description:"The path to the cabal store"},"stack-root":{description:"The path to the stack root (equal to the STACK_ROOT environment variable if it is set; otherwise an OS-specific default)"}},runs:{using:"node16",main:"./dist/action.cjs"},branding:{icon:"feather",color:"purple"}};var F2={"2.0":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v2.0.zip",tag:"v2.0",dir:"agda-stdlib-2.0"}},"1.7.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.3.zip",tag:"v1.7.3",dir:"agda-stdlib-1.7.3"}},"1.7.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.2.zip",tag:"v1.7.2",dir:"agda-stdlib-1.7.2"}},"1.7.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.1.zip",tag:"v1.7.1",dir:"agda-stdlib-1.7.1"}},"1.7":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.zip",tag:"v1.7",dir:"agda-stdlib-1.7"}},"1.6":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.6.zip",tag:"v1.6",dir:"agda-stdlib-1.6"}},"1.5":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.5.zip",tag:"v1.5",dir:"agda-stdlib-1.5"}},"1.4":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.4.zip",tag:"v1.4",dir:"agda-stdlib-1.4"}},"1.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.3.zip",tag:"v1.3",dir:"agda-stdlib-1.3"}},"1.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.2.zip",tag:"v1.2",dir:"agda-stdlib-1.2"}},"1.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.1.zip",tag:"v1.1",dir:"agda-stdlib-1.1"}},"1.0.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.0.1.zip",tag:"v1.0.1",dir:"agda-stdlib-1.0.1"}},"1.0":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v1.0.zip",tag:"v1.0",dir:"agda-stdlib-1.0"}},"0.17":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.17.zip",tag:"v0.17",dir:"agda-stdlib-0.17"}},"0.16":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.16.zip",tag:"v0.16",dir:"agda-stdlib-0.16"}},"0.16.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.16.1.zip",tag:"v0.16.1",dir:"agda-stdlib-0.16.1"}},"0.15":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.15.zip",tag:"v0.15",dir:"agda-stdlib-0.15"}},"0.14":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.14.zip",tag:"v0.14",dir:"agda-stdlib-0.14"}},"0.13":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.13.zip",tag:"v0.13",dir:"agda-stdlib-0.13"}},"0.12":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.12.zip",tag:"v0.12",dir:"agda-stdlib-0.12"}},"0.11":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.11.zip",tag:"v0.11",dir:"agda-stdlib-0.11"}},"0.10":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.10.zip",tag:"v0.10",dir:"agda-stdlib-0.10"}},"0.9":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.9.zip",tag:"v0.9",dir:"agda-stdlib-0.9"}},"0.8.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.8.1.zip",tag:"v0.8.1",dir:"agda-stdlib-0.8.1"}},"0.8":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/v0.8.zip",tag:"v0.8",dir:"agda-stdlib-0.8"}},"0.7":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_7.zip",tag:"0_7",dir:"agda-stdlib-0_7"}},"0.6":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_6.zip",tag:"0_6",dir:"agda-stdlib-0_6"}},"0.5":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_5.zip",tag:"0_5",dir:"agda-stdlib-0_5"}},"0.4":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_4.zip",tag:"0_4",dir:"agda-stdlib-0_4"}},"0.3":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_3.zip",tag:"0_3",dir:"agda-stdlib-0_3"}},"0.2":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_2.zip",tag:"0_2",dir:"agda-stdlib-0_2"}},"0.1":{source:{url:"https://github.com/agda/agda-stdlib/archive/refs/tags/0_1.zip",tag:"0_1",dir:"agda-stdlib-0_1"}}};var ay={"Agda:exe:agda":{exe:"agda"},"Agda:exe:agda-mode":{exe:"agda-mode"}};var k2={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.3 - 2.0"}},"2.6.4.1":{binary:{macos:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-11-ghc9.4.7-icu73.2.zip",sha256:"aa716b624d8351fb962600f9a95fad3a17bbb0ea969d32b636c27c567b4b2cc5",target:"macos-11"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-12-ghc9.4.7-icu73.2.zip",sha256:"d56b21198cc87b05634501535c26980604dbed9459255643ede054dda6e96889",target:"macos-12"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-macos-13-ghc9.4.7-icu73.2.zip",sha256:"b3a61968f2e7b94b76bb6ca9276dc8f499c2d89cccb1e1a3f9fb6d4dc98da631",target:"macos-13"}]},linux:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-20.04-ghc9.4.7-icu66.1.zip",sha256:"22adb4ee6be4ecafd7bc1efc91121944de18cc988e8098e8474f4c8bf67fb004",target:"ubuntu-20.04"},{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-ubuntu-22.04-ghc9.4.7-icu70.1.zip",sha256:"bd6aca2275ec9947643f51fe30826714a451aadef681d83c70a48c4a36c31665",target:"ubuntu-22.04"}]},windows:{x64:[{url:"https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.4.1-x64-windows-2022-ghc9.4.7-icu74.1.zip",sha256:"19a761f43e0370f8e82e4ea7dd80e4b222e12b9b0a1e1539bf8d6d08d5188e81",target:"windows-2022"}]}},compatibility:{"agda-stdlib":"1.7.3 - 2.0",ghc:"8.6.5 - 9.8.1"},configuration:{macos:`--flags=+enable-cluster-counting
 --flags=+optimise-heavily
 `,linux:`--enable-split-sections
 --flags=+enable-cluster-counting

src/data/Agda.versions.json

@@ -27,7 +27,7 @@
       }
     },
     "compatibility": {
-      "agda-stdlib": "1.7.3"
+      "agda-stdlib": "1.7.3 - 2.0"
     }
   },
   "2.6.4.1": {
@@ -76,7 +76,7 @@
       }
     },
     "compatibility": {
-      "agda-stdlib": "1.7.3",
+      "agda-stdlib": "1.7.3 - 2.0",
       "ghc": "8.6.5 - 9.8.1"
     },
     "configuration": {

src/data/agda-stdlib.versions.json

@@ -1,4 +1,11 @@
 {
+  "2.0": {
+    "source": {
+      "url": "https://github.com/agda/agda-stdlib/archive/refs/tags/v2.0.zip",
+      "tag": "v2.0",
+      "dir": "agda-stdlib-2.0"
+    }
+  },
   "1.7.3": {
     "source": {
       "url": "https://github.com/agda/agda-stdlib/archive/refs/tags/v1.7.3.zip",