on master help sign in
Re-enable avers
commit811c325050768e262d241f25f920706a380f2b0e authorTomas Carnecky <tomas.carnecky@gmail.com> dateFri 11 Aug 2017, 17:55 (9 years ago) parent0a48d9d
1 file changed+3−3
build-constraints.yaml+3−3
build-constraints.yaml+3−3
@@ -1194,10 +1194,10 @@ packages:
11941194 # - pipes-network # bounds: pipes 4.3
11951195
11961196 "Tomas Carnecky @wereHamster":
1197− # - avers # GHC 8.2.1
1198− # - avers-api # GHC 8.2.1
1197+ - avers
1198+ - avers-api
11991199 # - avers-api-docs # GHC 8.2.1
1200− # - avers-server # GHC 8.2.1
1200+ - avers-server
12011201 - css-syntax
12021202 - etcd
12031203 - github-types