[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