Merge pull request #2734 from rudymatela/add-leancheck

add leancheck
This commit is contained in:
Mihai Maruseac 2017-08-08 07:25:56 -07:00 committed by GitHub
commit 788c78e2a9

View File

@ -2092,6 +2092,9 @@ packages:
# - irc-conduit # GHC 8.2.1
# - irc-client # GHC 8.2.1
"Rudy Matela <rudy@matela.com.br> @rudymatela":
- leancheck
"Trevor Elliott <awesomelyawesome@gmail.com> @elliottt":
- irc