Quelle  dune  Sprache: unbekannt

(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))