diff options
author | Samuel Mimram <smimram@debian.org> | 2008-07-25 15:18:20 +0200 |
---|---|---|
committer | Samuel Mimram <smimram@debian.org> | 2008-07-25 15:19:09 +0200 |
commit | d5e0af8d900a4556ea1f043a9c350ee1dc6be0cf (patch) | |
tree | 5cdc7333ca9e39eb63da829b32b0e44345a87d29 | |
parent | d18b6226c9ecdb0ebbef6d29fb9f0c09ba78a5fa (diff) |
New upstream release.
-rw-r--r-- | debian/changelog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 849ceab2..61235636 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +coq (8.2~beta3+dfsg-1) UNRELEASED; urgency=low + + * New upstream release. + + -- Samuel Mimram <smimram@debian.org> Fri, 25 Jul 2008 15:13:01 +0200 + coq (8.1.pl3+dfsg-1) unstable; urgency=low [ Stefano Zacchiroli ] |