Merge pull request #730 from phadej/purescript

Add purescript and its dependencies
This commit is contained in:
Jens Petersen 2015-08-05 17:50:22 +09:00
commit 39dbe587d1

View File

@ -855,6 +855,10 @@ packages:
- waitra
- spdx
- postgresql-simple-url
- purescript
- bower-json
- boxes
- pattern-arrows
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
- cryptol