From 5f9606f64992644a9784edf29bae9b0510cbf7a1 Mon Sep 17 00:00:00 2001
From: Sibi Prabakaran <sibi@psibi.in>
Date: Mon, 17 Apr 2017 09:11:55 +0530
Subject: [PATCH] Re enable persistent-mongoDB

A new version 2.6.0 has been enabled which should hopefully fix the
problem.
---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 21764d64..8cb60749 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -254,7 +254,7 @@ packages:
         - indents
         - language-c
         - lhs2tex
-        # - persistent-mongoDB # bounds: http-api-data
+        - persistent-mongoDB
         - pretty-class
         - th-expand-syns
         - th-lift