diff options
author | Stephane Glondu <steph@glondu.net> | 2014-07-27 10:03:17 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2014-07-27 10:03:17 +0200 |
commit | 18d6b012418d2890e4225a14983318174728de6b (patch) | |
tree | 6db1c20f8e2ee95f19d48c770c3ad5fd57100925 /debian | |
parent | 10d07683104a610949460086d9fcc70a79717b1d (diff) |
New upstream release
Diffstat (limited to 'debian')
-rw-r--r-- | debian/changelog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 31e17705..2f14a3b2 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.4pl4dfsg-1) UNRELEASED; urgency=medium + + * New upstream release + + -- Stéphane Glondu <glondu@debian.org> Sun, 27 Jul 2014 10:03:03 +0200 + coq (8.4pl3dfsg-1) unstable; urgency=medium * New upstream release |