From 3c5818f34339a8a3660d904000b207d1f63ae805 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Fri, 1 Apr 2016 16:16:27 -0400
Subject: Package Boogie library for experimental

---
 debian/source/format | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 debian/source/format

(limited to 'debian/source')

diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 00000000..163aaf8d
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
-- 
cgit v1.2.3