From 280ddbfa9d834025a275cefc3a04361b978d8a61 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Fri, 14 Aug 2015 18:35:31 -0400
Subject: Package Dafny for experimental

---
 debian/changelog | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 debian/changelog

(limited to 'debian/changelog')

diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 00000000..75f8e602
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,5 @@
+dafny (1.9.5-1) experimental; urgency=medium
+
+  * Initial release.
+
+ -- Benjamin Barenblat <bbaren@mit.edu>  Fri, 14 Aug 2015 18:35:20 -0400
-- 
cgit v1.2.3