blob: 9ef519acee3637145d3a240897684563ecbc6406 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
usr/bin/coqmktop*
usr/share/man/man1/coqmktop*
usr/lib/coq/engine/engine.cma
usr/lib/coq/grammar/compat5.cmo
usr/lib/coq/grammar/grammar.cma
usr/lib/coq/interp/interp.cma
usr/lib/coq/kernel/kernel.cma
usr/lib/coq/lib/clib.cma
usr/lib/coq/lib/lib.cma
usr/lib/coq/library/library.cma
usr/lib/coq/ltac/ltac.cma
usr/lib/coq/parsing/highparsing.cma
usr/lib/coq/parsing/parsing.cma
usr/lib/coq/pretyping/pretyping.cma
usr/lib/coq/printing/printing.cma
usr/lib/coq/proofs/proofs.cma
usr/lib/coq/stm/stm.cma
usr/lib/coq/tactics/tactics.cma
usr/lib/coq/toplevel/toplevel.cma
usr/lib/coq/META
# other *.cm* files will be added here by debian/rules
|
