summaryrefslogtreecommitdiff
path: root/debian/control
diff options
context:
space:
mode:
Diffstat (limited to 'debian/control')
-rw-r--r--debian/control2
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/control b/debian/control
index 1991f427..4b4d75e7 100644
--- a/debian/control
+++ b/debian/control
@@ -4,8 +4,6 @@ Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Ralf Treinen <treinen@debian.org>,
- Remi Vanicat <vanicat@debian.org>,
- Stefano Zacchiroli <zack@debian.org>,
Samuel Mimram <smimram@debian.org>,
Stéphane Glondu <glondu@debian.org>
Standards-Version: 3.9.0