Re-enable avers

This commit is contained in:
Tomas Carnecky 2017-08-11 17:55:49 +02:00 committed by Mihai Maruseac
parent 0a48d9d25a
commit 811c325050

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