Skip to content

Commit

Permalink
bump dune version
Browse files Browse the repository at this point in the history
  • Loading branch information
rvantonder committed Apr 8, 2021
1 parent d51056c commit a47a10a
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion comby-kernel.opam
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ build: [
]
]
depends: [
"dune" {>= "2.7.0"}
"dune" {>= "2.8.0"}
"ocaml" {>= "4.08.1"}
"angstrom" {>= "0.15.0"}
"core_kernel"
Expand Down
2 changes: 1 addition & 1 deletion comby.opam
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ build: [
]
]
depends: [
"dune" {>= "2.7.0"}
"dune" {>= "2.8.0"}
"ocaml" {>= "4.08.1"}
"conf-autoconf"
"conf-gmp"
Expand Down

0 comments on commit a47a10a

Please sign in to comment.