Merge pull request #2770 from paulrzcz/patch-4

Add HSvm to master
This commit is contained in:
Adam Bergmark 2017-08-17 14:40:52 +02:00 committed by GitHub
commit 7338423533

View File

@ -2810,6 +2810,7 @@ packages:
"Pavel Ryzhov <paul@paulrz.cz> @paulrzcz":
- hquantlib
- HSvm
# - persistent-redis # GHC 8.2.1
"Henri Verroken <henriverroken@gmail.com> @hverr":