From 1b35f6eb0e260d34c927adfff18ae2a9b6fe4001 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Thu, 13 Jul 2006 14:28:31 +0000
Subject: New upstream beta release.

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

diff --git a/debian/changelog b/debian/changelog
index 4f8d7e96..cb08de50 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+coq (8.0pl3+8.1beta.2-1) experimental; urgency=low
+
+  * New upstream beta release.
+
+ -- Samuel Mimram <smimram@debian.org>  Thu, 13 Jul 2006 14:27:55 +0000
+
 coq (8.0pl3+8.1beta-1) experimental; urgency=low
 
   * New upstream release.
-- 
cgit v1.2.3