We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1144927 commit 862d57fCopy full SHA for 862d57f
packages/mopsa/mopsa.1.0/opam
@@ -29,7 +29,7 @@ depends: [
29
"ocaml" {>= "4.12.0"}
30
"dune" {>= "3.7"}
31
"ocamlfind"
32
- "apron" {>= "0.9.15"}
+ "apron" {>= "v0.9.15"}
33
"menhir" {>= "20180528"}
34
"mlgmpidl"
35
"yojson" {>= "1.6.0"}
packages/mopsa/mopsa.1.1/opam
"ocaml" {>= "4.13.0"}
0 commit comments