summaryrefslogtreecommitdiff
path: root/debian/changelog
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2010-08-06 16:19:50 -0400
committerGravatar Stephane Glondu <steph@glondu.net>2010-08-10 13:22:00 -0400
commitbb08a887b65a76da05885018c831ed14432d50b6 (patch)
tree3a7966522bcd1be3b0144d5a027c8a62786aebfd /debian/changelog
parent907320d6b0bfe4728337815b1e6a5ffd5fcebc4d (diff)
New upstream release candidate
Diffstat (limited to 'debian/changelog')
-rw-r--r--debian/changelog6
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
index d2c2814f..d5f73658 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.3~rc1+dfsg-1) UNRELEASED; urgency=low
+
+ * New upstream release candidate
+
+ -- Stéphane Glondu <glondu@debian.org> Fri, 06 Aug 2010 16:19:30 -0400
+
coq (8.3~beta0+13323-1) experimental; urgency=low
* New upstream snapshot