[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, experimental/master, updated. debian/8.4_beta+dfsg-1-1-g64007d9

[Stephane Glondu]

The following commit has been merged in the experimental/master branch:
commit 64007d9eae3bfe88341db8995698aa86a50faa37
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Jan 13 16:07:02 2012 +0100

    Fix typo (shame...)

diff --git a/debian/libcoq-ocaml.install.in b/debian/libcoq-ocaml.install.in
index 9459116..c650772 100644
--- a/debian/libcoq-ocaml.install.in
+++ b/debian/libcoq-ocaml.install.in
@@ -46,4 +46,4 @@ DYN: usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs
 DYN: usr/lib/coq/plugins/setoid_ring/newring_plugin.cmxs
 DYN: usr/lib/coq/plugins/micromega/micromega_plugin.cmxs
 DYN: usr/lib/coq/plugins/quote/quote_plugin.cmxs
-DYN: usr/lib/coq/plugins/decl_mode/decl_mode_plugin.cma
+DYN: usr/lib/coq/plugins/decl_mode/decl_mode_plugin.cmxs

-- 
coq packaging