package "compiler" (
  directory = "compiler"
  description = ""
  requires =
  "batteries
   
   
   
   dynlink
   
   
   
   menhirLib
   
   
   
   mtime.clock.os
   
   
   
   pprint
   
   
   
   ppx_deriving.runtime
   
   
   
   ppx_deriving_yojson.runtime
   
   
   
   ppxlib
   
   
   
   ppxlib.ast
   
   
   
   process
   
   
   
   sedlex
   
   
   
   stdint
   
   
   
   yojson
   
   
   
   zarith"
  archive(byte) = ""
  archive(native) = "fstarcompiler.cmxa"
  plugin(byte) = ""
  plugin(native) = "fstarcompiler.cmxs"
)
package "lib" (
  directory = "lib"
  description = ""
  requires =
  "batteries
   
   
   
   pprint
   
   
   
   ppx_deriving.runtime
   
   
   
   ppx_deriving_yojson.runtime
   
   
   
   stdint
   
   
   
   yojson
   
   
   
   zarith"
  archive(byte) = "fstar.cma"
  archive(native) = "fstar.cmxa"
  plugin(byte) = "fstar.cma"
  plugin(native) = "fstar.cmxs"
)
package "pluginlib" (
  directory = "pluginlib"
  description = ""
  requires =
  "fstar.compiler ppx_deriving.runtime ppx_deriving_yojson.runtime yojson"
  archive(byte) = ""
  archive(native) = "fstar_pluginlib.cmxa"
  plugin(byte) = ""
  plugin(native) = "fstar_pluginlib.cmxs"
)