Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
12345678910; 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))