Merge pull request #1159 from wereHamster/wereHaster-avers-and-friends
Re-enable avers and add avers-{api,server}
commite5ffa2875970ca457df054408acc566823f71a29
authorDan Burton <danburton.email@gmail.com>
dateMon 18 Jan 2016, 17:57 (11 years ago)
parentce4937fa531dc5
build-constraints.yaml+3−1
@@ -882,7 +882,9 @@ packages:
882882 - pipes-network
883883
884884 "Tomas Carnecky":
885− # - avers
885+ - avers
886+ - avers-api
887+ - avers-server
886888 - css-syntax
887889 - etcd
888890 - github-types