Pin goblint-cil.2.0.6

sim642 · sim642 · commit 3230f4473939 · 2025-03-26T12:47:26.000+02:00
diff --git a/goblint.opam b/goblint.opam
@@ -97,8 +97,8 @@ dev-repo: "git+https://github.com/goblint/analyzer.git"
 # also remember to generate/adjust goblint.opam.locked!
 available: os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" | os = "macos")
 pin-depends: [
-  # published goblint-cil 2.0.5 is currently up-to-date, but pinned for reproducibility
-  [ "goblint-cil.2.0.5" "git+https://github.com/goblint/cil.git#f5ee39bd344dc74e2a10e407d877e0ddf73c9c6f" ]
+  # published goblint-cil 2.0.6 is currently up-to-date, but pinned for reproducibility
+  [ "goblint-cil.2.0.6" "git+https://github.com/goblint/cil.git#8385ab315bc7461f6801af57673c64731bfa036a" ]
   # pinned for stability (https://github.com/goblint/analyzer/issues/1520), remove after new camlidl release
   [ "camlidl.1.12" "git+https://github.com/xavierleroy/camlidl.git#1c1e87e3f56c2c6b3226dd0af3510ef414b462d0" ]
   # pinned for stability (https://github.com/goblint/analyzer/issues/1520), remove after new apron release
diff --git a/goblint.opam.locked b/goblint.opam.locked
@@ -139,8 +139,8 @@ post-messages: [
 ]
 pin-depends: [
   [
-    "goblint-cil.2.0.5"
-    "git+https://github.com/goblint/cil.git#f5ee39bd344dc74e2a10e407d877e0ddf73c9c6f"
+    "goblint-cil.2.0.6"
+    "git+https://github.com/goblint/cil.git#8385ab315bc7461f6801af57673c64731bfa036a"
   ]
   [
     "camlidl.1.12"
diff --git a/goblint.opam.template b/goblint.opam.template
@@ -2,8 +2,8 @@
 # also remember to generate/adjust goblint.opam.locked!
 available: os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" | os = "macos")
 pin-depends: [
-  # published goblint-cil 2.0.5 is currently up-to-date, but pinned for reproducibility
-  [ "goblint-cil.2.0.5" "git+https://github.com/goblint/cil.git#f5ee39bd344dc74e2a10e407d877e0ddf73c9c6f" ]
+  # published goblint-cil 2.0.6 is currently up-to-date, but pinned for reproducibility
+  [ "goblint-cil.2.0.6" "git+https://github.com/goblint/cil.git#8385ab315bc7461f6801af57673c64731bfa036a" ]
   # pinned for stability (https://github.com/goblint/analyzer/issues/1520), remove after new camlidl release
   [ "camlidl.1.12" "git+https://github.com/xavierleroy/camlidl.git#1c1e87e3f56c2c6b3226dd0af3510ef414b462d0" ]
   # pinned for stability (https://github.com/goblint/analyzer/issues/1520), remove after new apron release

Original file line number	Diff line number	Diff line change
`@@ -139,8 +139,8 @@ post-messages: [`
`139`	`139`	`]`
`140`	`140`	`pin-depends: [`
`141`	`141`	`[`
`142`		`- "goblint-cil.2.0.5"`
`143`		`- "git+https://github.com/goblint/cil.git#f5ee39bd344dc74e2a10e407d877e0ddf73c9c6f"`
	`142`	`+ "goblint-cil.2.0.6"`
	`143`	`+ "git+https://github.com/goblint/cil.git#8385ab315bc7461f6801af57673c64731bfa036a"`
`144`	`144`	`]`
`145`	`145`	`[`
`146`	`146`	`"camlidl.1.12"`