Package coq-cheri-capabilities.1.1.0

coq · Oct 30, 2024 · 2bfa483 · 2bfa483
1 parent d058fc5
commit 2bfa483
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-cheri-capabilities/coq-cheri-capabilities.1.1.0/opam b/released/packages/coq-cheri-capabilities/coq-cheri-capabilities.1.1.0/opam
@@ -29,5 +29,5 @@ tags: [
 
 url {
 	src: "https://github.com/rems-project/coq-cheri-capabilities/archive/refs/tags/1.1.0.tar.gz"
-	checksum: "sha256=d5558cd419c8d46bdc958064cb97f963d1ea793866414c025906ec15033512ed"
+	checksum: "sha256=9a57bb7139a21761f72b890d5c8c5cd01bf67ec4f4e3a05eb186c36a8fd4ea4a"
 }