[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.1-3-27-gabb5c8e
Stephane Glondu
steph at glondu.net
Thu Jan 7 21:53:23 UTC 2010
The following commit has been merged in the master branch:
commit 16d7761ae3b6c040e426e381b99ad6e8ea535e04
Author: Stephane Glondu <steph at glondu.net>
Date: Thu Jan 7 10:56:49 2010 +0100
Set Maintainer to d-o-m, set Uploaders to Sam and me
diff --git a/debian/control b/debian/control
index c7551b6..0f83404 100644
--- a/debian/control
+++ b/debian/control
@@ -1,7 +1,10 @@
Source: coq-doc
Section: non-free/doc
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>,
+ Stéphane Glondu <glondu at debian.org>
Standards-Version: 3.7.2
Build-Depends: debhelper (>= 4.0.0)
Build-Depends-Indep: texlive, texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french, texlive-humanities, hevea (>= 1.05), coq (>= 8.1)
--
coq-doc packaging
More information about the Pkg-ocaml-maint-commits
mailing list