[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-55-g02e1486

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 886b8f6be1f0f1760bef956ee26e15ab782dd005
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu Feb 19 18:38:06 2009 +0100

    Bump libfloat-coq version to 1:8.1-1.0-5 (next one compiled with Coq 8.2)

diff --git a/debian/control b/debian/control
index 1ff827f..7648347 100644
--- a/debian/control
+++ b/debian/control
@@ -2,8 +2,21 @@ Source: why
 Section: math
 Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
-Uploaders: Samuel Mimram <smimram at debian.org>, Mehdi Dogguy <dogguy at pps.jussieu.fr>
-Build-Depends: debhelper (>= 7), autotools-dev, dh-ocaml (>= 0.2), ocaml-nox (>= 3.10), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev, coq (>= 8.2), libfloat-coq (>= 1:8.1-1.0-4), libocamlgraph-ocaml-dev, dpatch
+Uploaders:
+  Samuel Mimram <smimram at debian.org>,
+  Mehdi Dogguy <dogguy at pps.jussieu.fr>
+Build-Depends:
+  debhelper (>= 7),
+  autotools-dev,
+  dh-ocaml (>= 0.2),
+  ocaml-nox (>= 3.10),
+  ocaml-best-compilers,
+  camlp4,
+  liblablgtk2-ocaml-dev,
+  coq (>= 8.2),
+  libfloat-coq (>= 1:8.1-1.0-5),
+  libocamlgraph-ocaml-dev,
+  dpatch
 Standards-Version: 3.8.0
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/why.git
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/why.git

-- 
why packaging