Skip to content

Commit

Permalink
Fixes colibri2 pin
Browse files Browse the repository at this point in the history
  • Loading branch information
@filipeom
filipeom committed Jul 1, 2024
1 parent 17a0f66 commit ee5ff1f
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions smtml.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ build: [
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#e804b0bab4293306e07e003c78a4f84909b3aba7"]
["colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#e804b0bab4293306e07e003c78a4f84909b3aba7"]
["colibri2.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#6e302cc50d82b8fb04f1b37debf3bc4dafbd3e1b"]
["colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#6e302cc50d82b8fb04f1b37debf3bc4dafbd3e1b"]
["cvc5.~dev" "git+https://github.com/formalsec/ocaml-cvc5#main"]
]
4 changes: 2 additions & 2 deletions smtml.opam.template
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
available: arch != "arm32" & arch != "x86_32"
pin-depends: [
["colibri2.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#e804b0bab4293306e07e003c78a4f84909b3aba7"]
["colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#e804b0bab4293306e07e003c78a4f84909b3aba7"]
["colibri2.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#6e302cc50d82b8fb04f1b37debf3bc4dafbd3e1b"]
["colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#6e302cc50d82b8fb04f1b37debf3bc4dafbd3e1b"]
["cvc5.~dev" "git+https://github.com/formalsec/ocaml-cvc5#main"]
]

0 comments on commit ee5ff1f

Please sign in to comment.