(lang dune 3.23)
(name sail_lean_backend)
(version 0.20.2)
(sections
 (lib /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/sail_lean_backend)
 (lib_root /usr/lib/x86_64-linux-gnu/ocaml/5.4.1)
 (doc /usr/share/ocaml-dune/doc/sail_lean_backend))
(files
 (lib (META dune-package opam))
 (lib_root
  (libsail/plugins/sail_plugin_lean.cma libsail/plugins/sail_plugin_lean.cmxs))
 (doc (CHANGELOG.md LICENSE README.md)))
