From ab437f8eab368151500b82ade6f7bf8fed49a525 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Sat, 19 Jan 2019 13:14:39 +0000
Subject: Add examples and data to tar file

---
 verifuzz.cabal | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/verifuzz.cabal b/verifuzz.cabal
index 04d90d3..6d01049 100644
--- a/verifuzz.cabal
+++ b/verifuzz.cabal
@@ -13,6 +13,8 @@ category:              Web
 build-type:            Simple
 cabal-version:         >=1.10
 extra-source-files:    README.md
+                     , data/*.v
+                     , examples/*.v
 
 library
   hs-source-dirs:      src
-- 
cgit