1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
usr/bin/coqc*
usr/bin/coqdep*
usr/bin/coqdoc*
usr/bin/coqidetop*
usr/bin/coq_makefile*
usr/bin/coqnative*
usr/bin/coqpp*
usr/bin/coq-tex*
usr/bin/coqtop*
usr/bin/coqwc*
usr/bin/coqworkmgr*
usr/bin/csdpcert*
usr/bin/ocamllibdep*
usr/bin/rocq
usr/bin/rocqchk
usr/bin/votour*
@OCamlStdlibDir@/rocq-runtime/rocqnative
@OCamlStdlibDir@/rocq-runtime/rocqworker*
@OCamlStdlibDir@/rocq-runtime/tools/CoqMakefile.in
@OCamlStdlibDir@/rocq-runtime/tools/TimeFileMaker.py /usr/libexec/coq
@OCamlStdlibDir@/rocq-runtime/tools/coqdoc/
@OCamlStdlibDir@/rocq-runtime/tools/make-both-single-timing-files.py /usr/libexec/coq/
@OCamlStdlibDir@/rocq-runtime/tools/make-both-time-files.py /usr/libexec/coq/
@OCamlStdlibDir@/rocq-runtime/tools/make-one-time-file.py /usr/libexec/coq/
README.md /usr/share/doc/coq/
usr/share/texmf/tex/latex/misc/coqdoc.sty
debian/coqvars.mk /usr/share/coq
|
