Quelle  dune   Sprache: unbekannt

(library
 (name engine)
 (synopsis "Rocq's Tactic Engine")
 (public_name rocq-runtime.engine)
 (wrapped false)
 ; until ocaml/dune#4892 fixed
 ; (private_modules univSubst)
 (libraries library))

(deprecated_library_name
 (old_public_name coq-core.engine)
 (new_public_name rocq-runtime.engine))

[ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ]