| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/boot/ (Beweissystem des Inria Version 9.1.0©) Datei vom 15.8.2025 mit Größe 426 B |
|
Quelle dune Sprache: Shell |
|||||||||
|
; 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.11 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28