+1

atp-lexicon-scitt.opam

reviewed

··· 15 15 depends: [ 16 16 "ocaml" {>= "5.1"} 17 17 "dune" {>= "3.21" & >= "3.21"} 18 18 + "atp" {>= "0.1.0"} 18 19 "json" {>= "0.1.0"} 19 20 "mdx" {with-test} 20 21 "odoc" {with-doc}

+3

dune-project

reviewed

··· 56 56 (atp-lexicon-scitt (>= 0.1.0)) 57 57 (digestif (>= 1.2.0)) 58 58 (ohex (>= 0.2)) 59 59 + (irmin (>= 0.1.0)) 60 60 + (ptime (>= 1.0)) 59 61 (alcotest :with-test) 60 62 (mdx :with-test) 61 63 (odoc :with-doc))) ··· 72 74 (depends 73 75 (ocaml (>= 5.1)) 74 76 (dune (>= 3.21)) 77 77 + (atp (>= 0.1.0)) 75 78 (json (>= 0.1.0)) 76 79 (mdx :with-test) 77 80 (odoc :with-doc)))

+2

scitt-atp.opam

reviewed

··· 19 19 "atp-lexicon-scitt" {>= "0.1.0"} 20 20 "digestif" {>= "1.2.0"} 21 21 "ohex" {>= "0.2"} 22 22 + "irmin" {>= "0.1.0"} 23 23 + "ptime" {>= "1.0"} 22 24 "alcotest" {with-test} 23 25 "mdx" {with-test} 24 26 "odoc" {with-doc}