regex-genex 0.6.0 → 0.6.1

raw patch · 2 files changed

+5/−5 lines, 2 filesdep −logict

Dependencies removed: logict

Files

• regex-genex.cabal +4/−4
• src/Regex/Genex.hs +1/−1

@@ -1,9 +1,9 @@ Name            : regex-genex-Version         : 0.6.0+Version         : 0.6.1 license         : OtherLicense license-file    : LICENSE cabal-version   : >= 1.6-copyright       : 2011-2013 Audrey Tang+copyright       : 2011-2014 Audrey Tang maintainer      : Audrey Tang <audreyt@audreyt.org> category        : Text, Regex stability       : experimental@@ -12,7 +12,7 @@ synopsis        : From a regex, generate all possible strings it can match description     : From a regex, generate all possible strings it can match author          : Audrey Tang <audreyt@audreyt.org>-Tested-With:    GHC==7.0.2 GHC==7.4.1+Tested-With:    GHC==7.0.2 GHC==7.4.1 GHC==7.8.2  library     hs-source-dirs:     . src@@ -20,7 +20,7 @@     other-modules:    Regex.Genex.Pure     extensions      : ImplicitParams, NamedFieldPuns, ParallelListComp, PatternGuards, RecordWildCards     build-depends:-        base >= 3 && < 5, mtl, containers, sbv, regex-tdfa, stream-monad, text, logict+        base >= 3 && < 5, mtl, containers, sbv, regex-tdfa, stream-monad, text  executable genex     main-is:            Main.hs

@@ -6,7 +6,7 @@ shortest to longest, with full support for back references ('\1' .. '\9') and word boundaries ('\b'). -It requires the @yices@ binary in PATH; please download it from:+It requires the @z3@ or @yices@ binary in PATH. The latter may be downloaded from: <http://yices.csl.sri.com/download-yices2.shtml>  -}