package "ecLib" (
  directory = "ecLib"
  description = ""
  requires =
  "batteries
   
   
   
   camlp-streams
   
   
   
   dune-build-info
   
   
   
   dune-private-libs.dune-section
   
   
   
   dune-site
   
   
   
   easycrypt.inifiles
   
   
   
   easycrypt.lospecs
   
   
   
   markdown
   
   
   
   markdown.html
   
   
   
   pcre2
   
   
   
   tyxml
   
   
   
   why3
   
   
   
   yojson
   
   
   
   zarith"
  archive(byte) = "ecLib.cma"
  archive(native) = "ecLib.cmxa"
  plugin(byte) = "ecLib.cma"
  plugin(native) = "ecLib.cmxs"
  version = "05c2a38"
)
package "inifiles" (
  directory = "inifiles"
  description = ""
  requires = "pcre2 unix"
  archive(byte) = "inifiles.cma"
  archive(native) = "inifiles.cmxa"
  plugin(byte) = "inifiles.cma"
  plugin(native) = "inifiles.cmxs"
  version = "05c2a38"
)
package "lospecs" (
  directory = "lospecs"
  description = ""
  requires = "batteries bitwuzla-cxx menhirLib zarith"
  archive(byte) = "lospecs.cma"
  archive(native) = "lospecs.cmxa"
  plugin(byte) = "lospecs.cma"
  plugin(native) = "lospecs.cmxs"
  version = "05c2a38"
)