hacl is not compatible with dune 3.0 (does not have a dune-project file)
Kate 3 years ago 537ccb23 99d48f92
··· 7 7 dev-repo: "git+https://gitlab.com/nomadic-labs/ocaml-hacl.git" 8 8 license: "MIT" 9 9 depends: [ 10 10 - "dune" {>= "2.0"} 10 10 + "dune" {>= "2.0" & < "3.0"} 11 11 "bigstring" {>= "0.1.1"} 12 12 "ocplib-endian" {>= "1.0"} 13 13 "zarith" {>= "1.7"}