The following commit has been merged in the master branch:
commit be8dd49cdf08dbeae0d6f36b717a54793418086b
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Mon Jul 28 15:55:17 2008 +0200
Install also *.cm[iox] files
diff --git a/debian/coq.install b/debian/coq.install
index 59bcb59..c0817f7 100644
--- a/debian/coq.install
+++ b/debian/coq.install
@@ -8,8 +8,7 @@ usr/bin/coq-tex
usr/bin/coqtop*
usr/bin/coqwc
usr/bin/gallina
-usr/lib/coq/*.cma
-usr/lib/coq/*.cmxa
+usr/lib/coq/*.cm*
usr/lib/coq/tools/coqdoc/
usr/share/emacs/site-lisp/coq/*
usr/share/man/man1/c*
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
