Merge pull request #757 from phadej/regex-applicative-text

Add regex-applicative-text
This commit is contained in:
Michael Snoyman 2015-08-19 22:46:45 +03:00
commit 337965fc13

View File

@ -865,6 +865,7 @@ packages:
- bower-json
- boxes
- pattern-arrows
- regex-applicative-text
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
- cryptol