[Pkg-ocaml-maint-commits] [SCM] matita packaging branch, master, updated. debian/0.5.8-2-9-g932c23c

Stephane Glondu steph at glondu.net
Tue May 31 09:28:52 UTC 2011


The following commit has been merged in the master branch:
commit 47b9736fff31f331f2c17d0adeb2ed2b7d5005a8
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue May 31 11:18:22 2011 +0200

    Remove Stefano from Uploaders

diff --git a/debian/control b/debian/control
index 8c4335d..a742da1 100644
--- a/debian/control
+++ b/debian/control
@@ -2,7 +2,7 @@ Source: matita
 Section: math
 Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
-Uploaders: Enrico Tassi <gareuselesinge at debian.org>, Stefano Zacchiroli <zack at debian.org>
+Uploaders: Enrico Tassi <gareuselesinge at debian.org>
 Build-Depends:
  ocaml (>= 3.10.2),
  ocaml-findlib (>= 1.2.1-2),

-- 
matita packaging



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