The following commit has been merged in the master branch:
commit e6b699f7e1a1ba63c1eb7b7e63094cad633791a9
Author: Stephane Glondu <[EMAIL PROTECTED]>
Date: Fri Aug 8 17:57:55 2008 +0200
Install csdpcert
diff --git a/debian/coq.install b/debian/coq.install
index c0817f7..0648440 100644
--- a/debian/coq.install
+++ b/debian/coq.install
@@ -8,6 +8,7 @@ usr/bin/coq-tex
usr/bin/coqtop*
usr/bin/coqwc
usr/bin/gallina
+usr/bin/csdpcert
usr/lib/coq/*.cm*
usr/lib/coq/tools/coqdoc/
usr/share/emacs/site-lisp/coq/*
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
