diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-08 15:50:13 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-08 15:50:13 +0000 |
| commit | 47a57a7b86337849d13ebb2889c276071027ddd0 (patch) | |
| tree | 749fbf965798029fe14bfdb8463a4391fe995f8f /verifuzz.cabal | |
| parent | 2627dff8533e78e00c16d8965f991f02b852f62a (diff) | |
| download | verismith-47a57a7b86337849d13ebb2889c276071027ddd0.tar.gz verismith-47a57a7b86337849d13ebb2889c276071027ddd0.zip | |
Remove Simulation from cabal and add dependencies
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 1d8a8f1..052983d 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -43,6 +43,7 @@ library , QuickCheck >=2.3 && <2.10 , fgl , fgl-arbitrary + , fgl-visualize , lens , random , shakespeare @@ -55,6 +56,7 @@ library , binary >= 0.8.6.0 , cryptonite , memory + , DRBG default-extensions: OverloadedStrings executable verifuzz @@ -62,7 +64,6 @@ executable verifuzz main-is: Main.hs default-language: Haskell2010 ghc-options: -threaded - other-modules: Simulation build-depends: base >= 4.7 && < 5 , verifuzz , fgl |