Merge pull request #23396 from geoffder/lock-OCADml-vers
Fix OCADml dependency vers in OSCADml
Marcello Seri 2 years ago 81c1bff4 da01f4c0
··· 17 17 "ocaml" {>= "4.14.0"} 18 18 "gg" {>= "1.0.0"} 19 19 "cairo2" {>= "0.6.2"} 20 20 - "OCADml" {>= "0.3.0"} 20 20 + "OCADml" {>= "0.3.1" & < "0.4.0"} 21 21 "odoc" {with-doc} 22 22 ] 23 23 build: [