Skip to content
Snippets Groups Projects
Commit c43a52f2 authored by François Bobot's avatar François Bobot
Browse files

[OPAM] Update dolmen version

parent 49c5deec
No related branches found
No related tags found
No related merge requests found
Pipeline #32073 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
colibri2.opam
+ 3
− 3
View file @ c43a52f2
...@@ -46,7 +46,7 @@ build: [ ...@@ -46,7 +46,7 @@ build: [
] ]
dev-repo: "git+https://git.frama-c.com/bobot/colibrics.git" dev-repo: "git+https://git.frama-c.com/bobot/colibrics.git"
pin-depends: [ pin-depends: [
[ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ] [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
[ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ] [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
[ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ] [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
] ]
colibri2.opam.template
+ 3
− 3
View file @ c43a52f2
pin-depends: [ pin-depends: [
[ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ] [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
[ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ] [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
[ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ] [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
] ]
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment