From bfe45dbaed933cca5081a9e2524e0ef099a83efb Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 28 Dec 2016 09:28:26 +0100 Subject: Coq 8.6 --- debian/libcoq-ocaml-dev.install.in | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'debian/libcoq-ocaml-dev.install.in') 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 -- cgit v1.2.3