update upkr (new tweaked compressed format)

This commit is contained in:
2021-12-27 17:31:08 +01:00
parent 0f795ae061
commit 462dc3a1c6
7 changed files with 20 additions and 15 deletions

View File

@@ -10,5 +10,5 @@ wasmparser = "0.81"
wasm-encoder = "0.8"
anyhow = "1"
pico-args = "0.4"
upkr = { git = "https://github.com/exoticorn/upkr.git", rev = "7d280bd" }
upkr = { git = "https://github.com/exoticorn/upkr.git", rev = "08c86af0" }
pbr = "1"