The following commit has been merged in the experimental/master branch:
commit 64007d9eae3bfe88341db8995698aa86a50faa37
Author: Stephane Glondu <st...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to