Fix missing header

joaomhmpereira · joaomhmpereira · commit f5b0d1ef8a21 · 2024-08-02T11:44:59.000+01:00
diff --git a/packages/cvc5/cvc5.1.1.3~unreleased/opam b/packages/cvc5/cvc5.1.1.3~unreleased/opam
@@ -38,9 +38,9 @@ dev-repo: "git+https://github.com/formalsec/ocaml-cvc5.git"
 available: arch != "arm32" & os != "macos" & os != "freebsd" & os-distribution != "fedora" & os-family != "arch"
 url {
   src:
-    "https://github.com/formalsec/ocaml-cvc5/releases/download/v1.1.3-unreleased/ocaml-cvc5-v1.1.3-unreleased.tar.gz"
+    "https://github.com/formalsec/ocaml-cvc5/releases/download/v1.1.3/ocaml-cvc5-v1.1.3.unreleased.tar.gz"
   checksum: [
-    "md5=0d6f257ead39a7135725809d3bbf66f7"
-    "sha512=9df93944cbba98a8fb41ed39f46c0c1e8fb0804d07a73298d3450d3e9e055e4a380e8ee849d9910dcf335516ac27970342c52d0cba3fafa2e3e993d36a0a162a"
+    "md5=2beb77e9db079cd585a9a9a19b76d1ec"
+    "sha512=b8b92ce5a076800a0a91b69c1110da4a46b6345de5c52dbefccbd31d6efc90725798645d25ed80f1c07a7571fed8779fdc3c6bb8977e999acd0acddb46a01690"
   ]
 }

Original file line number	Diff line number	Diff line change
`@@ -38,9 +38,9 @@ dev-repo: "git+https://github.com/formalsec/ocaml-cvc5.git"`
`38`	`38`	`available: arch != "arm32" & os != "macos" & os != "freebsd" & os-distribution != "fedora" & os-family != "arch"`
`39`	`39`	`url {`
`40`	`40`	`src:`
`41`		`- "https://github.com/formalsec/ocaml-cvc5/releases/download/v1.1.3-unreleased/ocaml-cvc5-v1.1.3-unreleased.tar.gz"`
	`41`	`+ "https://github.com/formalsec/ocaml-cvc5/releases/download/v1.1.3/ocaml-cvc5-v1.1.3.unreleased.tar.gz"`
`42`	`42`	`checksum: [`
`43`		`- "md5=0d6f257ead39a7135725809d3bbf66f7"`
`44`		`- "sha512=9df93944cbba98a8fb41ed39f46c0c1e8fb0804d07a73298d3450d3e9e055e4a380e8ee849d9910dcf335516ac27970342c52d0cba3fafa2e3e993d36a0a162a"`
	`43`	`+ "md5=2beb77e9db079cd585a9a9a19b76d1ec"`
	`44`	`+ "sha512=b8b92ce5a076800a0a91b69c1110da4a46b6345de5c52dbefccbd31d6efc90725798645d25ed80f1c07a7571fed8779fdc3c6bb8977e999acd0acddb46a01690"`
`45`	`45`	`]`
`46`	`46`	`}`