From 61f8bbb9137a165fddaf4bcf06d0923b04ad31e7 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Tue, 1 Jun 2010 13:41:50 +0200
Subject: New upstream snapshot

---
 debian/changelog | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'debian/changelog')

diff --git a/debian/changelog b/debian/changelog
index beef4fb5..b6ddbc34 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+coq (8.3~beta0+13298-1) UNRELEASED; urgency=low
+
+  * New upstream snapshot
+    - remove all patches
+
+ -- Stéphane Glondu <glondu@debian.org>  Wed, 21 Jul 2010 09:51:18 +0200
+
 coq (8.2.pl2+dfsg-1) unstable; urgency=low
 
   * New upstream release
-- 
cgit v1.2.3