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