Update playground to aiken==v1.1.4

aiken-lang · Oct 2, 2024 · ff0d16d · ff0d16d
1 parent e204675
commit ff0d16d
Show file tree

Hide file tree

Showing 7 changed files with 28 additions and 1,181 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "play"
-version = "1.1.1"
+version = "1.1.4"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

diff --git a/build.sh b/build.sh
@@ -20,7 +20,7 @@ rm -rf stdlib && mkdir -p stdlib
 curl -L \
   -H "Accept: application/vnd.github+json" \
   -H "X-GitHub-Api-Version: 2022-11-28" \
-  https://api.github.com/repos/aiken-lang/stdlib/tarball/main \
+  https://api.github.com/repos/aiken-lang/stdlib/tarball/v2.1.0 \
   -o stdlib.tar
 tar -xvf stdlib.tar --strip-components 1 -C stdlib
 rm stdlib.tar
@@ -30,7 +30,7 @@ rm -rf fuzz && mkdir -p fuzz
 curl -L \
   -H "Accept: application/vnd.github+json" \
   -H "X-GitHub-Api-Version: 2022-11-28" \
-  https://api.github.com/repos/aiken-lang/fuzz/tarball/main \
+  https://api.github.com/repos/aiken-lang/fuzz/tarball/v2.1.0 \
   -o fuzz.tar
 tar -xvf fuzz.tar --strip-components 1 -C fuzz
 rm fuzz.tar