From 2cbc03398cc37b5c2508885c84103dc9f159d811 Mon Sep 17 00:00:00 2001 From: hra687261 Date: Tue, 17 Sep 2024 20:06:53 +0200 Subject: [PATCH] Add back colibrilib pin dependency to fix CI --- smtml.opam | 1 + smtml.opam.template | 1 + 2 files changed, 2 insertions(+) diff --git a/smtml.opam b/smtml.opam index c37e30cf..32eb84e7 100644 --- a/smtml.opam +++ b/smtml.opam @@ -54,5 +54,6 @@ dev-repo: "git+https://github.com/formalsec/smtml.git" available: arch != "arm32" & arch != "x86_32" pin-depends: [ ["colibri2.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#1feba887bbb7980f27bbcec8137eb908caa8f0ce"] + ["colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#1feba887bbb7980f27bbcec8137eb908caa8f0ce"] ["benchpress.dev" "git+https://github.com/filipeom/benchpress.git#50355de32835b12f1b065a4700f493bc3d8c5342"] ] diff --git a/smtml.opam.template b/smtml.opam.template index 09c71e2f..933bd2f1 100644 --- a/smtml.opam.template +++ b/smtml.opam.template @@ -1,5 +1,6 @@ available: arch != "arm32" & arch != "x86_32" pin-depends: [ ["colibri2.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#1feba887bbb7980f27bbcec8137eb908caa8f0ce"] + ["colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#1feba887bbb7980f27bbcec8137eb908caa8f0ce"] ["benchpress.dev" "git+https://github.com/filipeom/benchpress.git#50355de32835b12f1b065a4700f493bc3d8c5342"] ]