Re-enable avers

This commit is contained in:
Tomas Carnecky 2017-08-11 17:55:49 +02:00
parent 54376aafe5
commit 10e06c193f

View File

@ -1194,10 +1194,10 @@ packages:
# - pipes-network # bounds: pipes 4.3
"Tomas Carnecky @wereHamster":
# - avers # GHC 8.2.1
# - avers-api # GHC 8.2.1
- avers
- avers-api
# - avers-api-docs # GHC 8.2.1
# - avers-server # GHC 8.2.1
- avers-server
- css-syntax
- etcd
- github-types