(library
(name gramlib)
(public_name rocq-runtime.gramlib)
(modules_without_implementation plexing)
(libraries rocq-runtime.lib))
(deprecated_library_name
(old_public_name coq-core.gramlib)
(new_public_name rocq-runtime.gramlib))
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet am 2026-09-29)
¤
*© Formatika GbR, Deutschland
