Add regex-applicative-text

This commit is contained in:
Oleg Grenrus 2015-08-19 21:52:29 +03:00
parent fb552c43eb
commit fe74ffac3f

View File

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