From 0ab72da9b348f55d69def8e4a38bef6eefb9f14e Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 3 Feb 2019 16:11:21 -0500 Subject: Update libcoq-ocaml{,-dev} install list --- debian/libcoq-ocaml-dev.install.in | 1 - 1 file changed, 1 deletion(-) (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 77c14527..8d0c6f66 100644 --- a/debian/libcoq-ocaml-dev.install.in +++ b/debian/libcoq-ocaml-dev.install.in @@ -2,7 +2,6 @@ usr/lib/coq/clib/clib.cma usr/lib/coq/engine/engine.cma usr/lib/coq/grammar/grammar.cma usr/lib/coq/interp/interp.cma -usr/lib/coq/intf/intf.cma usr/lib/coq/kernel/kernel.cma usr/lib/coq/lib/lib.cma usr/lib/coq/library/library.cma -- cgit v1.2.3