From 6de0b191dca899bb04a31000c9962a80f9776d4a Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Sun, 30 Aug 2015 16:29:01 -0400
Subject: Move release to unstable

---
 debian/changelog | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 75f8e602..ab620ef5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,5 +1,5 @@
-dafny (1.9.5-1) experimental; urgency=medium
+dafny (1.9.5-1) unstable; urgency=medium
 
   * Initial release.
 
- -- Benjamin Barenblat <bbaren@mit.edu>  Fri, 14 Aug 2015 18:35:20 -0400
+ -- Benjamin Barenblat <bbaren@mit.edu>  Sun, 30 Aug 2015 16:28:23 -0400
-- 
cgit v1.2.3