diff options
| author |  Stephane Glondu <steph@glondu.net> | 2011-11-02 22:31:42 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2011-11-02 22:32:14 +0100 |
| commit | 92e2e560591cb81da28caac675dd12982458c015 (patch) | |
| tree | 8859e19589fdbcf6dc67d2937ec9f25d91648c0f /debian/control | |
| parent | f23ca11128fd713789e64a93090d6fd7ec9eca72 (diff) | |
Bump Standards-Version to 3.9.2 (no changes)
Diffstat (limited to 'debian/control')
| -rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index d093e79e..116bd06a 100644 --- a/debian/control +++ b/debian/control @@ -6,7 +6,7 @@ Uploaders: Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org> -Standards-Version: 3.9.1 +Standards-Version: 3.9.2 Build-Depends: debhelper (>= 7.2.11~), dh-ocaml (>= 0.9.5~), |