Merge pull request #730 from phadej/purescript
Add purescript and its dependencies
commit39dbe587d1c16cbb4a43f9f68cbcf62a216aa087
authorJens Petersen <juhpetersen@gmail.com>
dateWed 5 Aug 2015, 17:50 (11 years ago)
parent17b63c60e3bb60
build-constraints.yaml+4
@@ -855,6 +855,10 @@ packages:
855855 - waitra
856856 - spdx
857857 - postgresql-simple-url
858+ - purescript
859+ - bower-json
860+ - boxes
861+ - pattern-arrows
858862
859863 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
860864 - cryptol