@@ -863,16 +863,16 @@ packages:
863 - string-conversions
863 - string-conversions
865 "Oleg Grenrus oleg.grenrus@iki.fi @phadej":
865 "Oleg Grenrus oleg.grenrus@iki.fi @phadej":
866 - edit-distance
868 - edit-distance
867 - lattices
869 - lattices
868− - waitra
870+ - pattern-arrows
870 - postgresql-simple-url
871 - postgresql-simple-url
871 - purescript
872 - purescript
875 - regex-applicative-text
873 - regex-applicative-text
877 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
877 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
878 - cryptol
878 - cryptol