1 files changed, 2 insertions, 0 deletions
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