on master help sign in
Add purescript and it's dependencies
commit0e3bb60f806f16e23e057f7ab51ca11b00e3ba7e authorOleg Grenrus <oleg.grenrus@iki.fi> dateTue 4 Aug 2015, 20:39 (11 years ago) parent05a70bd
1 file changed+4
build-constraints.yaml+4
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