File tree Expand file tree Collapse file tree 6 files changed +9
-6
lines changed Expand file tree Collapse file tree 6 files changed +9
-6
lines changed Original file line number Diff line number Diff line change 1+ ## Release 0.3.2 ##
2+ - Bump to dune 3.7 using ctypes stanza 0.3
3+
14## Release 0.3.1 ##
25 - Use installed C libraries instead of compiling them internally
36
Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ license: "LGPL-2.1-only"
77homepage: "https://github.com/bobot/ocaml-flint"
88bug-reports: "https://github.com/bobot/ocaml-flint/issues"
99depends: [
10- "dune" {>= "3.2 "}
10+ "dune" {>= "3.7 "}
1111 "conf-antic"
1212 "flint" {= version}
1313 "ctypes" {>= "0.20.1"}
Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ license: "LGPL-2.1-only"
77homepage: "https://github.com/bobot/ocaml-flint"
88bug-reports: "https://github.com/bobot/ocaml-flint/issues"
99depends: [
10- "dune" {>= "3.2 "}
10+ "dune" {>= "3.7 "}
1111 "conf-arb"
1212 "flint" {= version}
1313 "ctypes" {>= "0.20.1"}
Original file line number Diff line number Diff line change @@ -8,7 +8,7 @@ license: "LGPL-2.1-only"
88homepage: "https://github.com/bobot/ocaml-flint"
99bug-reports: "https://github.com/bobot/ocaml-flint/issues"
1010depends: [
11- "dune" {>= "3.2 "}
11+ "dune" {>= "3.7 "}
1212 "conf-calcium"
1313 "zarith" {>= "1.12"}
1414 "flint" {= version}
Original file line number Diff line number Diff line change 1- (lang dune 3 .2 )
1+ (lang dune 3 .7 )
22
33( generate_opam_files true )
4- (using ctypes 0 .1 )
4+ (using ctypes 0 .3 )
55
66( maintainers " François Bobot" )
77( authors " François Bobot" )
Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ license: "LGPL-2.1-only"
77homepage: "https://github.com/bobot/ocaml-flint"
88bug-reports: "https://github.com/bobot/ocaml-flint/issues"
99depends: [
10- "dune" {>= "3.2 "}
10+ "dune" {>= "3.7 "}
1111 "conf-flint"
1212 "zarith" {>= "1.12"}
1313 "ctypes" {>= "0.20.1"}
You can’t perform that action at this time.
0 commit comments