aboutsummaryrefslogtreecommitdiffstats
path: root/verifuzz.cabal
diff options
context:
space:
mode:
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r--verifuzz.cabal4
1 files changed, 2 insertions, 2 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal
index fb1583b..1cc0106 100644
--- a/verifuzz.cabal
+++ b/verifuzz.cabal
@@ -34,6 +34,7 @@ library
, VeriFuzz.General
, VeriFuzz.Gen
, VeriFuzz.Icarus
+ , VeriFuzz.Lexer
, VeriFuzz.Mutate
, VeriFuzz.Parser
, VeriFuzz.RandomAlt
@@ -58,8 +59,7 @@ library
, cryptonite >=0.25 && <0.26
, memory >=0.14 && <0.15
, DRBG >=0.5 && <0.6
- , attoparsec >=0.13 && <0.14
- , attoparsec-expr >=0.1 && <0.2
+ , parsec >= 3.1 && < 3.2
default-extensions: OverloadedStrings
executable verifuzz