this repo has no description

lutin.2.70.10: Add missing dependency

Kate 9512f082 8f139f01

Changed files
+1 -1
packages
bddrand
bddrand.2.71.10
lutin
lutin.2.71.10
-1
packages/bddrand/bddrand.2.71.10/opam
···
"base-unix" {build}
"dune" {>= "2.0"}
"lutin"{>= "2.71.10"}
-
]
build: ["dune" "build" "-p" name "-j" jobs]
post-messages:
+1
packages/lutin/lutin.2.71.10/opam
···
"rdbg" {>= "1.196.9"}
"gbddml"
"ezdl"
+
"polka"
]
build: ["dune" "build" "-p" name "-j" jobs]
post-messages: