Merge pull request #773 from phadej/these
Add these
commit7b45520eee25340eb333f2c70fa731d3a7a668bd
authorAdam Bergmark <adam@bergmark.nl>
dateTue 25 Aug 2015, 09:10 (11 years ago)
parent22fef159b55286
build-constraints.yaml+6−5
@@ -863,16 +863,17 @@ 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+ - these
876+ - waitra
876877
877878 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
878879 - cryptol