diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-19 13:14:39 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-19 13:14:39 +0000 |
commit | ab437f8eab368151500b82ade6f7bf8fed49a525 (patch) | |
tree | 0bffa99cee169c6efb403bfb34b3e5a097583624 /verifuzz.cabal | |
parent | f9a2d2c4bf4fb5d48f169e5f1fbdb8be81ecef72 (diff) | |
download | verismith-ab437f8eab368151500b82ade6f7bf8fed49a525.tar.gz verismith-ab437f8eab368151500b82ade6f7bf8fed49a525.zip |
Add examples and data to tar file
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r-- | verifuzz.cabal | 2 |
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 |