on master help sign in
Merge pull request #730 from phadej/purescript
39dbe58Jens Petersen
build-constraints.yaml+4
@@ -855,6 +855,10 @@ packages:
855 - waitra
855 - waitra
856 - spdx
856 - spdx
857 - postgresql-simple-url
857 - postgresql-simple-url
858+ - purescript
859+ - bower-json
860+ - boxes
861+ - pattern-arrows
858
862
859 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
863 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
860 - cryptol
864 - cryptol