[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