File tree Expand file tree Collapse file tree 5 files changed +5
-0
lines changed Expand file tree Collapse file tree 5 files changed +5
-0
lines changed Original file line number Diff line number Diff line change @@ -16,6 +16,7 @@ depends: [
1616 "camlzip"
1717 "cryptokit"
1818 "csv"
19+ "num"
1920 "git-unix" {>= "3.2.0" & < "3.3.0"}
2021 "menhir"
2122 "ocamlnet"
Original file line number Diff line number Diff line change @@ -16,6 +16,7 @@ depends: [
1616 "camlzip"
1717 "cryptokit"
1818 "csv"
19+ "num"
1920 "git-unix" {>= "3.3.0" & < "3.7.0"}
2021 "menhir"
2122 "ocamlnet"
Original file line number Diff line number Diff line change @@ -16,6 +16,7 @@ depends: [
1616 "camlzip"
1717 "cryptokit"
1818 "csv"
19+ "num"
1920 "git-unix" {>= "3.3.0" & < "3.7.0"}
2021 "menhir" {>= "20170418"}
2122 "ocamlnet"
Original file line number Diff line number Diff line change @@ -16,6 +16,7 @@ depends: [
1616 "camlzip"
1717 "cryptokit"
1818 "csv"
19+ "num"
1920 "git-unix" {>= "3.3.0" & < "3.7.0"}
2021 "menhir" {>= "20170418"}
2122 "ocamlnet"
Original file line number Diff line number Diff line change @@ -18,6 +18,7 @@ depends: [
1818 "camlzip"
1919 "cryptokit"
2020 "csv"
21+ "num"
2122 "git-unix" {>= "3.9.1"}
2223 "menhir" {>= "20220210"}
2324 "ocamlnet"
You can’t perform that action at this time.
0 commit comments