on master help sign in
Sort phadej's list
commit210a5a805d849614de08cd716c8c128b29da00e9 authorOleg Grenrus <oleg.grenrus@iki.fi> dateTue 25 Aug 2015, 07:20 (11 years ago) parent22fef15
1 file changed+5−5
build-constraints.yaml+5−5
build-constraints.yaml+5−5
@@ -863,16 +863,16 @@ packages:
863863 - string-conversions
864864
865865 "Oleg Grenrus oleg.grenrus@iki.fi @phadej":
866+ - bower-json
867+ - boxes
866868 - edit-distance
867869 - lattices
868− - waitra
869− - spdx
870+ - pattern-arrows
870871 - postgresql-simple-url
871872 - purescript
872− - bower-json
873− - boxes
874− - pattern-arrows
875873 - regex-applicative-text
874+ - spdx
875+ - waitra
876876
877877 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
878878 - cryptol