Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
dune
Sprache: Unknown
|
(library
(name library)
(synopsis "Coq's Loadable Libraries (vo) Support")
(public_name coq.library)
(wrapped false)
(libraries kernel))
(documentation
(package coq))
[ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
]
|
|
