From a7f87c4a52f1e6eb9a04730bc674f0d052d77018 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Tue, 19 Apr 2016 16:17:56 +0900
Subject: [PATCH] re-enable agda-snippets and agda-snippets-hakyll (#1369)

---
 build-constraints.yaml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index fba701ea..a4fad6bd 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -458,9 +458,8 @@ packages:
         - latex-formulae-image
         - latex-formulae-pandoc
         - latex-formulae-hakyll
-        # - agda-snippets-hakyll
-        # Temporarily removed due to Agda's upper bound on unordered-containers.
-        # - agda-snippets
+        - agda-snippets
+        - agda-snippets-hakyll
 
     "Dan Burton <danburton.email@gmail.com> @DanBurton":
         - hspec-jenkins