File tree Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -58,7 +58,7 @@ dev-repo: "git+https://github.com/goblint/analyzer.git"
5858# on `dune build` goblint.opam will be generated from goblint.opam.template and dune-project
5959# also remember to generate/adjust goblint.opam.locked!
6060pin-depends: [
61- [ "goblint-cil.1.8.2" "git+https://github.com/goblint/cil.git#568dc23716a2a5f308fc8e332c7a0ef1302823c4 " ]
61+ [ "goblint-cil.1.8.2" "git+https://github.com/goblint/cil.git#a6aa225b362e7bdd140810041901e5e2e85a436e " ]
6262 # TODO: add back after release, only pinned for optimization (https://github.com/ocaml-ppx/ppx_deriving/pull/252)
6363 [ "ppx_deriving.5.2.1" "git+https://github.com/ocaml-ppx/ppx_deriving.git#0a89b619f94cbbfc3b0fb3255ab4fe5bc77d32d6" ]
6464 # quoter workaround reverted for release, so no pin needed
Original file line number Diff line number Diff line change @@ -94,7 +94,7 @@ version: "dev"
9494pin-depends: [
9595 [
9696 "goblint-cil.1.8.2"
97- "git+https://github.com/goblint/cil.git#568dc23716a2a5f308fc8e332c7a0ef1302823c4 "
97+ "git+https://github.com/goblint/cil.git#a6aa225b362e7bdd140810041901e5e2e85a436e "
9898 ]
9999 [
100100 "apron.v0.9.13"
Original file line number Diff line number Diff line change 11# on `dune build` goblint.opam will be generated from goblint.opam.template and dune-project
22# also remember to generate/adjust goblint.opam.locked!
33pin-depends: [
4- [ "goblint-cil.1.8.2" "git+https://github.com/goblint/cil.git#568dc23716a2a5f308fc8e332c7a0ef1302823c4 " ]
4+ [ "goblint-cil.1.8.2" "git+https://github.com/goblint/cil.git#a6aa225b362e7bdd140810041901e5e2e85a436e " ]
55 # TODO: add back after release, only pinned for optimization (https://github.com/ocaml-ppx/ppx_deriving/pull/252)
66 [ "ppx_deriving.5.2.1" "git+https://github.com/ocaml-ppx/ppx_deriving.git#0a89b619f94cbbfc3b0fb3255ab4fe5bc77d32d6" ]
77 # quoter workaround reverted for release, so no pin needed
You can’t perform that action at this time.
0 commit comments