Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
dune
Sprache: Unknown
|
(install
(section man)
(package coq)
(files coqc.1 coqtop.1 coqtop.byte.1 coqtop.opt.1 coqchk.1 coqdep.1 coqdoc.1 coq_makefile.1 coq-tex.1 coqwc.1))
(install
(section man)
(package coqide)
(files coqide.1))
[ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
]
|
