Untersuchungsergebnis Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
(library
(name coqworkmgrApi)
(public_name rocq-runtime.coqworkmgrapi)
(modules coqworkmgrApi)
(wrapped false)
(libraries str unix))
(deprecated_library_name
(old_public_name coq-core.coqworkmgrapi)
(new_public_name rocq-runtime.coqworkmgrapi))
(library
(name rocqworkmgr)
(modules rocqworkmgr)
(libraries coqworkmgrApi))
(executable
(name coqworkmgr)
(public_name coqworkmgr)
(package coq-core)
(modules coqworkmgr)
(libraries rocqworkmgr))
[ zur Elbe Produktseite wechseln0.78Quellennavigators
]
