[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2.beta4+dfsg-2-25-g14dc709

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 862c8a23a8f1314f8b7764a54faae30824abdc4a
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Feb 1 07:23:24 2009 +0100

    Add debian/clean

diff --git a/debian/clean b/debian/clean
new file mode 100644
index 0000000..7c32f55
--- /dev/null
+++ b/debian/clean
@@ -0,0 +1 @@
+install

-- 
coq packaging