Merge pull request #2275 from NickSeagull/master

Add ramus
This commit is contained in:
Dan Burton 2017-02-07 08:23:59 -08:00 committed by GitHub
commit 5b824cf9ad

View File

@ -1,6 +1,9 @@
ghc-major-version: "8.0"
# Constraints for brand new builds
packages:
"Nikita Tchayka <nikitatchayka@gmail.com> @nickseagull":
- ramus
"Simon Jakobi <simon.jakobi@gmail.com> @sjakobi":
- threepenny-gui