Skip to content

Commit d99f166

Browse files
committed
[Flint] Fix in lock step the version of flint, antic, arb, calcium
1 parent ec44728 commit d99f166

File tree

3 files changed

+5
-5
lines changed
  • packages
    • antic/antic.0.1.5
    • arb/arb.0.1.5
    • calcium/calcium.0.1.5

3 files changed

+5
-5
lines changed

packages/antic/antic.0.1.5/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ homepage: "https://github.com/bobot/ocaml-flint"
77
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
88
depends: [
99
"dune" {>= "3.2"}
10-
"flint"
10+
"flint" {= version}
1111
"ctypes" {>= "0.20.1"}
1212
"conf-mpfr" {>= "3"}
1313
"ocaml" {>= "4.10"}

packages/arb/arb.0.1.5/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ homepage: "https://github.com/bobot/ocaml-flint"
77
bug-reports: "https://github.com/bobot/ocaml-flint/issues"
88
depends: [
99
"dune" {>= "3.2"}
10-
"flint"
10+
"flint" {= version}
1111
"ctypes" {>= "0.20.1"}
1212
"conf-mpfr" {>= "3"}
1313
"ocaml" {>= "4.10"}

packages/calcium/calcium.0.1.5/opam

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,9 @@ bug-reports: "https://github.com/bobot/ocaml-flint/issues"
99
depends: [
1010
"dune" {>= "3.2"}
1111
"zarith" {>= "1.12"}
12-
"flint"
13-
"arb"
14-
"antic"
12+
"flint" {= version}
13+
"arb" {= version}
14+
"antic" {= version}
1515
"ctypes" {>= "0.20.1"}
1616
"conf-mpfr" {>= "3"}
1717
"dune-site" {with-test}

0 commit comments

Comments
 (0)