[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.1-1.0-4-14-g128255c

Stephane Glondu steph at glondu.net
Wed Mar 11 16:49:21 UTC 2009


The following commit has been merged in the master branch:
commit ffb8fbb2ce36eddf0a5acddac5a247c75bde12be
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Mar 11 17:02:24 2009 +0100

    Set Maintainer to d-o-m, add myself to Uploaders and add DMUA

diff --git a/debian/control b/debian/control
index fa7453d..e95fd25 100644
--- a/debian/control
+++ b/debian/control
@@ -1,7 +1,11 @@
 Source: coq-float
 Section: libdevel
 Priority: optional
-Maintainer: Samuel Mimram <smimram at debian.org>
+Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
+Uploaders:
+ Samuel Mimram <smimram at debian.org>,
+ Stephane Glondu <steph at glondu.net>
+DM-Upload-Allowed: yes
 Build-Depends: debhelper (>= 7), coq (>= 8.2)
 Standards-Version: 3.8.0
 Homepage: http://lipforge.ens-lyon.fr/www/pff/

-- 
coq-float packaging



More information about the Pkg-ocaml-maint-commits mailing list