Skip to content
Snippets Groups Projects
Commit 20144a58 authored by Allan Blanchard's avatar Allan Blanchard Committed by Jan Rochel
Browse files

[opam] add unionFind for Alias

parent 23b26e8d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
opam
+ 1
− 0
View file @ 20144a58
...@@ -121,6 +121,7 @@ depends: [ ...@@ -121,6 +121,7 @@ depends: [
"menhir" { >= "20181006" & build } "menhir" { >= "20181006" & build }
"ocaml" { >= "4.11.1" } "ocaml" { >= "4.11.1" }
"ocamlgraph" { >= "1.8.8" } "ocamlgraph" { >= "1.8.8" }
"unionFind" { >= "20220107" }
"why3" { >= "1.6.0" } "why3" { >= "1.6.0" }
"yaml" { >= "3.0.0" } "yaml" { >= "3.0.0" }
"yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)} "yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
......
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