diff options
| author |  Enrico Tassi <gareuselesinge@debian.org> | 2016-12-28 09:28:26 +0100 |
|---|---|---|
| committer | Enrico Tassi <gareuselesinge@debian.org> | 2016-12-28 09:28:26 +0100 |
| commit | bfe45dbaed933cca5081a9e2524e0ef099a83efb (patch) | |
| tree | 0b9ae3738b8cd95cf666844bb16eaf671875aa45 /debian/libcoq-ocaml-dev.install.in | |
| parent | 1b92c226e563643da187b8614d5888dc4855eb43 (diff) | |
Coq 8.6debian/8.6-1
Diffstat (limited to 'debian/libcoq-ocaml-dev.install.in')
| -rw-r--r-- | debian/libcoq-ocaml-dev.install.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/debian/libcoq-ocaml-dev.install.in b/debian/libcoq-ocaml-dev.install.in index 49efecbc..ec726f1f 100644 --- a/debian/libcoq-ocaml-dev.install.in +++ b/debian/libcoq-ocaml-dev.install.in @@ -1,5 +1,7 @@ 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/ide/ide.cma usr/lib/coq/interp/interp.cma @@ -7,15 +9,15 @@ 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/hightactics.cma usr/lib/coq/tactics/tactics.cma usr/lib/coq/toplevel/toplevel.cma -usr/lib/coq/tools/compat5.cmo +usr/lib/coq/META # other *.cm* files will be added here by debian/rules |