Add Pluto 0.8.1

PlutoLang · Jan 5, 2024 · 28e42db · 28e42db
1 parent 67d2500
commit 28e42db
Showing 3 changed files with 23 additions and 1 deletion.
diff --git a/manifest.json b/manifest.json
@@ -3,7 +3,8 @@
         "0.6.3": "https://wasm.pluto.do/out/pluto/0.6.3/pluto.js",
         "0.7.0": "https://wasm.pluto.do/out/pluto/0.7.0/pluto.js",
         "0.7.4": "https://wasm.pluto.do/out/pluto/0.7.4/pluto.js",
-        "0.8.0": "https://wasm.pluto.do/out/pluto/0.8.0/pluto.js"
+        "0.8.0": "https://wasm.pluto.do/out/pluto/0.8.0/pluto.js",
+        "0.8.1": "https://wasm.pluto.do/out/pluto/0.8.1/pluto.js"
     },
     "libpluto": {
         "0.8.0": "https://wasm.pluto.do/out/libpluto/0.8.0/libpluto.js"

diff --git a/out/pluto/0.8.1/pluto.js b/out/pluto/0.8.1/pluto.js
diff --git a/out/pluto/0.8.1/pluto.wasm b/out/pluto/0.8.1/pluto.wasm