summaryrefslogtreecommitdiff
path: root/debian/libcoq-ocaml.install.in
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2012-06-04 15:03:22 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2012-06-05 10:12:10 +0200
commit9ba360bc40800295fd8f706a4d561805c2e4c8db (patch)
tree4fa38450392470686c51106063b6d5ee9e88642a /debian/libcoq-ocaml.install.in
parentc467035933a683a7b7ac214fc511604735f15e7f (diff)
Dp plugin has been dropped
Diffstat (limited to 'debian/libcoq-ocaml.install.in')
-rw-r--r--debian/libcoq-ocaml.install.in2
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/libcoq-ocaml.install.in b/debian/libcoq-ocaml.install.in
index c6507720..07fca0ac 100644
--- a/debian/libcoq-ocaml.install.in
+++ b/debian/libcoq-ocaml.install.in
@@ -13,7 +13,6 @@ usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cma
usr/lib/coq/plugins/funind/recdef_plugin.cma
usr/lib/coq/plugins/nsatz/nsatz_plugin.cma
usr/lib/coq/plugins/xml/xml_plugin.cma
-usr/lib/coq/plugins/dp/dp_plugin.cma
usr/lib/coq/plugins/romega/romega_plugin.cma
usr/lib/coq/plugins/firstorder/ground_plugin.cma
usr/lib/coq/plugins/subtac/subtac_plugin.cma
@@ -37,7 +36,6 @@ DYN: usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cmxs
DYN: usr/lib/coq/plugins/funind/recdef_plugin.cmxs
DYN: usr/lib/coq/plugins/nsatz/nsatz_plugin.cmxs
DYN: usr/lib/coq/plugins/xml/xml_plugin.cmxs
-DYN: usr/lib/coq/plugins/dp/dp_plugin.cmxs
DYN: usr/lib/coq/plugins/romega/romega_plugin.cmxs
DYN: usr/lib/coq/plugins/firstorder/ground_plugin.cmxs
DYN: usr/lib/coq/plugins/subtac/subtac_plugin.cmxs