diff options
| author |  Stephane Glondu <steph@glondu.net> | 2015-10-13 17:26:11 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2015-10-13 17:26:11 +0200 |
| commit | ac7d8c9837b3e4b35b011fbe0f995a4a1593041c (patch) | |
| tree | 171efc821246f67e2e98af6da1696302dcc5271d | |
| parent | fca0afda49e9411f25fc3d0b660b40a3dfd7d4bf (diff) | |
Prepare upload to unstabledebian/8.4pl4dfsg-2
| -rw-r--r-- | debian/changelog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index d0a9cf27..4fdc9570 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,8 @@ -coq (8.4pl4dfsg-2) UNRELEASED; urgency=medium +coq (8.4pl4dfsg-2) unstable; urgency=medium * Fix compilation with OCaml 4.02 - -- Stéphane Glondu <glondu@debian.org> Fri, 19 Jun 2015 19:54:30 +0200 + -- Stéphane Glondu <glondu@debian.org> Tue, 13 Oct 2015 17:26:06 +0200 coq (8.4pl4dfsg-1) unstable; urgency=medium |