diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-30 18:50:33 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-30 18:50:33 +0100 |
| commit | 932485fd843830b83ac1086a4e3d3a59223accf0 (patch) | |
| tree | bd3d9df6962be3babdb67714884f99d339a17e4c /verifuzz.cabal | |
| parent | 2de15f8f32d48b09a9a2c92c25b6b0b3bb4492e0 (diff) | |
| download | verismith-932485fd843830b83ac1086a4e3d3a59223accf0.tar.gz verismith-932485fd843830b83ac1086a4e3d3a59223accf0.zip | |
Upgrade stack version
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index ad8a39d..837a613 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -45,6 +45,7 @@ library , text , bytestring , hashable + , DRBG default-extensions: OverloadedStrings executable yosys @@ -62,12 +63,11 @@ executable verifuzz default-language: Haskell2010 build-depends: base >= 4.7 && < 5 , verifuzz - , graphviz , fgl , fgl-arbitrary + , fgl-visualize , text , QuickCheck - , DRBG , bytestring default-extensions: OverloadedStrings |