Regenerate opam file after updating template in c3d5d23

sim642 · sim642 · commit f8a1399b8413 · 2025-11-20T11:34:03.000+02:00
diff --git a/goblint-cil.opam b/goblint-cil.opam
@@ -61,10 +61,10 @@ build: [
 dev-repo: "git+https://github.com/goblint/cil.git"
 depexts: [
   ["perl-ExtUtils-MakeMaker"] {os-distribution = "centos" | os-family = "fedora" | os-distribution = "ol"}
-  ["perl-FindBin"] {os-family = "fedora"}
+  ["perl-FindBin"] {os-distribution = "centos" | os-family = "fedora"}
   ["build-base"] {os-distribution = "alpine"}
 ]
 available: arch = "x86_64" | arch = "arm64"
 x-ci-accept-failures: [
-  "freebsd" # installed cilly binary is not found for some reason (https://github.com/ocaml/opam-repository/pull/24812#issuecomment-1819231335)
+  "freebsd-14.2" # installed cilly binary is not found for some reason (https://github.com/ocaml/opam-repository/pull/24812#issuecomment-1819231335)
 ]

Original file line number	Diff line number	Diff line change
`@@ -61,10 +61,10 @@ build: [`
`61`	`61`	`dev-repo: "git+https://github.com/goblint/cil.git"`
`62`	`62`	`depexts: [`
`63`	`63`	`["perl-ExtUtils-MakeMaker"] {os-distribution = "centos" \| os-family = "fedora" \| os-distribution = "ol"}`
`64`		`- ["perl-FindBin"] {os-family = "fedora"}`
	`64`	`+ ["perl-FindBin"] {os-distribution = "centos" \| os-family = "fedora"}`
`65`	`65`	`["build-base"] {os-distribution = "alpine"}`
`66`	`66`	`]`
`67`	`67`	`available: arch = "x86_64" \| arch = "arm64"`
`68`	`68`	`x-ci-accept-failures: [`
`69`		`- "freebsd" # installed cilly binary is not found for some reason (https://github.com/ocaml/opam-repository/pull/24812#issuecomment-1819231335)`
	`69`	`+ "freebsd-14.2" # installed cilly binary is not found for some reason (https://github.com/ocaml/opam-repository/pull/24812#issuecomment-1819231335)`
`70`	`70`	`]`