Fix filename

ocaml · Dec 13, 2023 · 47569b9 · 47569b9
1 parent 9f067a1
commit 47569b9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/z3/z3.4.12.3/opam b/packages/z3/z3.4.12.3/opam
@@ -35,7 +35,7 @@ conflicts: [
 ]
 synopsis: "Z3 solver"
 extra-files: [
-  ["fix-gcc-13.patch" "md5=109de0c68786d4739c93ad71f8bda86c"]
+  ["optional-python-bytecode.patch" "md5=109de0c68786d4739c93ad71f8bda86c"]
 ]
 url {
   src: