diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-04 16:49:49 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-04 16:49:49 +0000 |
| commit | 8a4fa6bbacfd613904f895f66389ff5a4a11bbff (patch) | |
| tree | e3c8502fcbd39f89a339b359d7e28e0670e5d65f /verifuzz.cabal | |
| parent | 52d6e9e6cf7d781185aecfe56e4b244db4759515 (diff) | |
| download | verismith-8a4fa6bbacfd613904f895f66389ff5a4a11bbff.tar.gz verismith-8a4fa6bbacfd613904f895f66389ff5a4a11bbff.zip | |
Clean imports
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index 118406a..f77ba38 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -23,6 +23,7 @@ library ghc-options: -Wall -Werror exposed-modules: VeriFuzz , VeriFuzz.AST + , VeriFuzz.Config , VeriFuzz.Internal , VeriFuzz.Internal.AST , VeriFuzz.Internal.Circuit @@ -53,7 +54,6 @@ library , shelly >=1.8.0 && <1.9 , text >=1.2 && <1.3 , bytestring >=0.10 && <0.11 - , hashable >=1.2 && <1.3 , filepath >=1.4.2 && <1.5 , binary >= 0.8.6 && <0.9 , cryptonite >=0.25 && <0.26 @@ -61,6 +61,7 @@ library , DRBG >=0.5 && <0.6 , parsec >=3.1 && <3.2 , transformers >=0.5 && <0.6 + , tomland >=0.5 && <0.6 default-extensions: OverloadedStrings executable verifuzz |