From 8d740fa4dd1855333314d20b08cbf020521c046a Mon Sep 17 00:00:00 2001 From: Michael Snoyman Date: Sun, 8 Nov 2015 02:37:01 +0000 Subject: [PATCH] Revert blocked package and close liamoc/agda-snippets#1 This reverts commit 1c50c1f0189d817bf1893b7827907ff87021ea0c. --- build-constraints.yaml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 87b2c090..7ceb54bb 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -421,8 +421,7 @@ packages: - latex-formulae-pandoc - latex-formulae-hakyll - agda-snippets - # https://github.com/liamoc/agda-snippets/issues/1 - # - agda-snippets-hakyll + - agda-snippets-hakyll "Dan Burton @DanBurton": - hspec-jenkins