Sort phadej's list

This commit is contained in:
Oleg Grenrus 2015-08-25 07:20:05 +03:00
parent 22fef158f6
commit 210a5a805d

View File

@ -863,16 +863,16 @@ packages:
- string-conversions - string-conversions
"Oleg Grenrus oleg.grenrus@iki.fi @phadej": "Oleg Grenrus oleg.grenrus@iki.fi @phadej":
- edit-distance
- lattices
- waitra
- spdx
- postgresql-simple-url
- purescript
- bower-json - bower-json
- boxes - boxes
- edit-distance
- lattices
- pattern-arrows - pattern-arrows
- postgresql-simple-url
- purescript
- regex-applicative-text - regex-applicative-text
- spdx
- waitra
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer": "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
- cryptol - cryptol