Skip to content
Snippets Groups Projects

Update deps

Merged Hichem R. A. requested to merge update_deps into master
2 files
+ 2
2
Compare changes
  • Side-by-side
  • Inline
Files
2
+ 1
1
@@ -20,7 +20,7 @@ depends: [
@@ -20,7 +20,7 @@ depends: [
"dolmen_type" {>= "0.9"}
"dolmen_type" {>= "0.9"}
"dolmen_loop" {>= "0.9"}
"dolmen_loop" {>= "0.9"}
"cmdliner" {>= "1.1.1"}
"cmdliner" {>= "1.1.1"}
"base" {>= "v0.14.2"}
"base" {>= "v0.14.2" & < "v0.16.0"}
"gen" {>= "1.0"}
"gen" {>= "1.0"}
"re" {>= "1.10.3"}
"re" {>= "1.10.3"}
"ppx_here" {>= "v0.14.0"}
"ppx_here" {>= "v0.14.0"}
Loading