[bitwuzla-cxx.0.8.0] Fix some compilation errors

recoules · recoules · commit b9b7ccae3ab2 · 2025-05-31T15:11:45.000+02:00
diff --git a/packages/bitwuzla-cxx/bitwuzla-cxx.0.8.0/opam b/packages/bitwuzla-cxx/bitwuzla-cxx.0.8.0/opam
@@ -43,8 +43,8 @@ url {
   src:
     "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/0.8.0/bitwuzla-cxx-0.8.0.tbz"
   checksum: [
-    "sha256=8783a56216ad27174d23e2af077c8a72d2c02cbc2653234e5a73eb10c3272446"
-    "sha512=f2851a407129df07c6332fd4e371548dd1ae214560c31aa8d72fa367c7671ed113d5f373641a29010045f323e6f1428616f0354f296b00493b639eda984c9f22"
+    "sha256=b7c5606e279ce66e82615f1b20d26ab3aba1c7460025c45979a59118da03e804"
+    "sha512=96b2cac8db2028c3f00586cb841c90e90db3859e8b4dd2fcea3a1fd9303359e5aec26a46d8b18c75d41a495b62e1f1f656c496c486223a9f235ae9837b86185e"
   ]
 }
-x-commit-hash: "a329d67a5e5d9497a1c5ba0643790796488c46c2"
+x-commit-hash: "22e6ccd77a19b46417472c9ea39f82418c7088de"

Original file line number	Diff line number	Diff line change
`@@ -43,8 +43,8 @@ url {`
`43`	`43`	`src:`
`44`	`44`	`"https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/0.8.0/bitwuzla-cxx-0.8.0.tbz"`
`45`	`45`	`checksum: [`
`46`		`- "sha256=8783a56216ad27174d23e2af077c8a72d2c02cbc2653234e5a73eb10c3272446"`
`47`		`- "sha512=f2851a407129df07c6332fd4e371548dd1ae214560c31aa8d72fa367c7671ed113d5f373641a29010045f323e6f1428616f0354f296b00493b639eda984c9f22"`
	`46`	`+ "sha256=b7c5606e279ce66e82615f1b20d26ab3aba1c7460025c45979a59118da03e804"`
	`47`	`+ "sha512=96b2cac8db2028c3f00586cb841c90e90db3859e8b4dd2fcea3a1fd9303359e5aec26a46d8b18c75d41a495b62e1f1f656c496c486223a9f235ae9837b86185e"`
`48`	`48`	`]`
`49`	`49`	`}`
`50`		`-x-commit-hash: "a329d67a5e5d9497a1c5ba0643790796488c46c2"`
	`50`	`+x-commit-hash: "22e6ccd77a19b46417472c9ea39f82418c7088de"`