; This library must have no dependencies except config, as it is a
; dependency for most Rocq command line tools.
(library
(name boot)
(public_name rocq-runtime.boot)
(synopsis "Rocq Enviroment and Paths facilities")
; until ocaml/dune#4892 fixed
; (private_modules util)
(libraries rocq-runtime.config rocq-runtime.clib))
(deprecated_library_name
(old_public_name coq-core.boot)
(new_public_name rocq-runtime.boot))
[ Dauer der Verarbeitung: 0.3 Sekunden
(vorverarbeitet)
]
