Add purescript and it's dependencies

This commit is contained in:
Oleg Grenrus 2015-08-04 20:39:34 +03:00
parent 05a70bd788
commit 0e3bb60f80

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