blob: 59bcb59475a01f6c616ff74ff0c6d25ca13e4870 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
usr/bin/coqc
usr/bin/coqdep
usr/bin/coqdoc
usr/bin/coq-interface*
usr/bin/coq_makefile
usr/bin/coqmktop
usr/bin/coq-tex
usr/bin/coqtop*
usr/bin/coqwc
usr/bin/gallina
usr/lib/coq/*.cma
usr/lib/coq/*.cmxa
usr/lib/coq/tools/coqdoc/
usr/share/emacs/site-lisp/coq/*
usr/share/man/man1/c*
usr/share/man/man1/gallina.1
usr/share/texmf/tex/latex/misc/*
usr/share/emacs/site-lisp/coqdoc.sty usr/share/texmf/tex/latex/misc/
|
