update checksum

coq · Oct 17, 2024 · 2c263ca · 2c263ca
1 parent b53f16f
commit 2c263ca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-wasm/coq-wasm.2.0.1/opam b/released/packages/coq-wasm/coq-wasm.2.0.1/opam
@@ -39,7 +39,7 @@ build: [
 dev-repo: "git+https://github.com/WasmCert/WasmCert-Coq.git"
 url {
   src: "https://github.com/WasmCert/WasmCert-Coq/archive/refs/tags/v2.0.1.tar.gz"
-  checksum: "sha256=3f46e16c8cdcddd9ca2f78f45dddfb1fa561461ca631e5216771fe5c51663114"
+  checksum: "sha256=cda6689ee2dd3b25139abae0d82777d8d6bfe819ef1fae129071a9086d65b831"
 }
 tags: [
   "keyword:WebAssembly"