git.iko.soy/stackage
on master help sign in
Merge pull request #773 from phadej/these
7b45520Adam Bergmark
build-constraints.yaml+6−5
compare with master
unifiedsplit
@@ -863,16 +863,17 @@ packages:
863 - string-conversions
863 - string-conversions
864
864
865 "Oleg Grenrus oleg.grenrus@iki.fi @phadej":
865 "Oleg Grenrus oleg.grenrus@iki.fi @phadej":
866+ - bower-json
867+ - boxes
866 - edit-distance
868 - edit-distance
867 - lattices
869 - lattices
868− - waitra
870+ - pattern-arrows
869− - spdx
870 - postgresql-simple-url
871 - postgresql-simple-url
871 - purescript
872 - purescript
872− - bower-json
873− - boxes
874− - pattern-arrows
875 - regex-applicative-text
873 - regex-applicative-text
874+ - spdx
875+ - these
876+ - waitra
876
877
877 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
878 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
878 - cryptol
879 - cryptol