(install
 (section
  (site
   (soteria-rust plugin_kani)))
 (files
  (glob_files_rec *.rs)
  (glob_files_rec *.toml))
 (package soteria-rust))
