|
(install
(section lib)
(package coq)
(files
(CoqMakefile.in as tools/CoqMakefile.in)
(TimeFileMaker.py as tools/TimeFileMaker.py)
(make-one-time-file.py as tools/make-one-time-file.py)
(make-both-time-files.py as tools/make-both-time-files.py)
(make-both-single-timing-files.py as tools/make-both-single-timing-files.py)))
(executable
(name coq_makefile)
(public_name coq_makefile)
(package coq)
(modules coq_makefile)
(libraries coq.lib))
(executable
(name coqworkmgr)
(public_name coqworkmgr)
(package coq)
(modules coqworkmgr)
(libraries coq.stm))
(executable
(name coqdep)
(public_name coqdep)
(package coq)
(modules coqdep_lexer coqdep_common coqdep)
(libraries coq.lib))
(ocamllex coqdep_lexer)
(executable
(name coqwc)
(public_name coqwc)
(package coq)
(modules coqwc)
(libraries))
(ocamllex coqwc)
(executables
(names coq_tex coq_dune)
(public_names coq-tex coq_dune)
(package coq)
(modules coq_tex coq_dune)
(libraries str))
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
