summaryrefslogtreecommitdiff
path: root/debian/coq.install.in
blob: 4e9eb49a0afd446626c2fa1c21ea082c03003c77 (plain)
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
28
usr/bin/coqc*
usr/bin/coqdep*
usr/bin/coqdoc*
usr/bin/coq_makefile*
usr/bin/coq-interface*
usr/bin/coq-parser*
usr/bin/coq-tex*
usr/bin/coqtop*
usr/bin/coqwc*
usr/bin/gallina*
usr/lib/coq/contrib/micromega/csdpcert
usr/lib/coq/contrib/interface/vernacrc
usr/lib/coq/tools/coqdoc/coqdoc.css
usr/lib/coq/tools/coqdoc/coqdoc.sty
usr/lib/coq/states/initial.coq
usr/share/emacs/site-lisp/coq/
usr/share/man/man1/coqc*
usr/share/man/man1/coqdep*
usr/share/man/man1/coqdoc*
usr/share/man/man1/coq_makefile*
usr/share/man/man1/coq-interface*
usr/share/man/man1/coq-parser*
usr/share/man/man1/coq-tex*
usr/share/man/man1/coqtop*
usr/share/man/man1/coqwc*
usr/share/man/man1/gallina*
usr/lib/coq/dllcoqrun.so @OCamlDllDir@
usr/share/emacs/site-lisp/coqdoc.sty usr/share/texmf/tex/latex/misc/