Skip to content

Commit 108abe3

Browse files
authored
Update packages/lp-gurobi/lp-gurobi.0.5.0/opam
1 parent 2f3968b commit 108abe3

File tree

1 file changed

+1
-1
lines changed
  • packages/lp-gurobi/lp-gurobi.0.5.0

1 file changed

+1
-1
lines changed

packages/lp-gurobi/lp-gurobi.0.5.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ depends: [
1515
"dune" {>= "2.2.0"}
1616
"lp" {= version}
1717
"ctypes"
18-
"ctypes-foreign"
18+
"ctypes-foreign" {>= "0.18.0"}
1919
# "alcotest" {with-test}
2020
]
2121
build: [

0 commit comments

Comments
 (0)