on master help sign in
Merge pull request #2452 from psibi/enable-persistent-mongodb
b8853b7Dan Burton
build-constraints.yaml+1−1
@@ -254,7 +254,7 @@ packages:
254 - indents
254 - indents
255 - language-c
255 - language-c
256 - lhs2tex
256 - lhs2tex
257− # - persistent-mongoDB # bounds: http-api-data
257+ - persistent-mongoDB
258 - pretty-class
258 - pretty-class
259 - th-expand-syns
259 - th-expand-syns
260 - th-lift
260 - th-lift