[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-44-g331f534

[Stephane Glondu]

The following commit has been merged in the master branch:
commit e6b699f7e1a1ba63c1eb7b7e63094cad633791a9
Author: Stephane Glondu <steph at glondu.net>
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