(library
 (name boot_plugin)
 (public_name coq-boot.boot_plugin))

