Merge pull request #2452 from psibi/enable-persistent-mongodb
Re enable persistent-mongoDB
commitb8853b75e8e5dc56fb61736ce904c7dcd2564cf4
authorDan Burton <danburton.email@gmail.com>
dateTue 18 Apr 2017, 00:08 (10 years ago)
parent7de83835f9606f
build-constraints.yaml+1−1
@@ -254,7 +254,7 @@ packages:
254254 - indents
255255 - language-c
256256 - lhs2tex
257− # - persistent-mongoDB # bounds: http-api-data
257+ - persistent-mongoDB
258258 - pretty-class
259259 - th-expand-syns
260260 - th-lift