| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/checker/ (Beweissystem des Inria Version 9.1.0©) Datei vom 15.8.2025 mit Größe 1007 B |
|
Quelle dune Sprache: C |
|||||||||
|
; Careful with bug https://github.com/ocaml/odoc/issues/148
; ; If we don't pack checker we will have a problem here due to ; duplicate module names in the whole build. (library (name coq_checklib) (public_name rocq-runtime.checklib) (synopsis "Rocq's Standalone Proof Checker") (modules :standard \ rocqchk coqchk votour) (wrapped true) (libraries rocq-runtime.boot rocq-runtime.kernel)) (deprecated_library_name (old_public_name coq-core.checklib) (new_public_name rocq-runtime.checklib)) (executable (name rocqchk) (public_name rocqchk) (modes exe byte) (package rocq-runtime) (modules rocqchk) (flags :standard -open Coq_checklib) (libraries coq_checklib)) (executable (name coqchk) (public_name coqchk) (modes exe byte) (package coq-core) (modules coqchk) (flags :standard -open Coq_checklib) (libraries coq_checklib)) (executable (name votour) (public_name votour) (package rocq-runtime) (modules votour) (flags :standard -open Coq_checklib) (libraries coq_checklib)) ¤ Dauer der Verarbeitung: 0.16 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28