Fix permission issue with Apple patch

recoules · recoules · commit 024eeafed9df · 2025-05-13T17:09:12.000+02:00
diff --git a/packages/bitwuzla-cxx/bitwuzla-cxx.0.7.0/opam b/packages/bitwuzla-cxx/bitwuzla-cxx.0.7.0/opam
@@ -43,8 +43,8 @@ url {
   src:
     "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/0.7.0/bitwuzla-cxx-0.7.0.tbz"
   checksum: [
-    "sha256=ab98f9f9b5486f45b780d14e9684e3452efaaa8e3642071a1d93ebb506ea971f"
-    "sha512=4a6e37b5ce8ea8fdb827b0a7171bf8b3ecf3952309580142ab45ddfed83ca3a07c817675a6cee081536a3ac88625aacace5966ef09169cc9b83d42cf041ce101"
+    "sha256=496fb480731b9a12db47a212d0c752b749c33f811ae684260c9643f69f257abb"
+    "sha512=f092f868a053526efdcb5b2a5a83e3672f64a12de9dff4fa13f174afc5b4ec8b083c70a12581cad52cb3889ce000d88080c8752242bc7e992c11357d848f4b23"
   ]
 }
-x-commit-hash: "4e496f036a0b5d87ff3f25d761931f680017feb4"
+x-commit-hash: "9d2894f3d37c2267d6036e5f92acb5a855a75f25"

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.7.0/bitwuzla-cxx-0.7.0.tbz"`
`45`	`45`	`checksum: [`
`46`		`- "sha256=ab98f9f9b5486f45b780d14e9684e3452efaaa8e3642071a1d93ebb506ea971f"`
`47`		`- "sha512=4a6e37b5ce8ea8fdb827b0a7171bf8b3ecf3952309580142ab45ddfed83ca3a07c817675a6cee081536a3ac88625aacace5966ef09169cc9b83d42cf041ce101"`
	`46`	`+ "sha256=496fb480731b9a12db47a212d0c752b749c33f811ae684260c9643f69f257abb"`
	`47`	`+ "sha512=f092f868a053526efdcb5b2a5a83e3672f64a12de9dff4fa13f174afc5b4ec8b083c70a12581cad52cb3889ce000d88080c8752242bc7e992c11357d848f4b23"`
`48`	`48`	`]`
`49`	`49`	`}`
`50`		`-x-commit-hash: "4e496f036a0b5d87ff3f25d761931f680017feb4"`
	`50`	`+x-commit-hash: "9d2894f3d37c2267d6036e5f92acb5a855a75f25"`