From b9741fc6485364d4b3c58a39be471730233bb075 Mon Sep 17 00:00:00 2001 From: Dan Burton Date: Wed, 27 Jan 2016 13:29:27 -0800 Subject: [PATCH] Re-enable agda-snippets and agda-snippets-hakyll --- build-constraints.yaml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index f165c089c..5d3199d32 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -448,9 +448,8 @@ packages: - latex-formulae-image - latex-formulae-pandoc - latex-formulae-hakyll - # https://github.com/liamoc/agda-snippets/issues/2 - # - agda-snippets - # - agda-snippets-hakyll + - agda-snippets + - agda-snippets-hakyll "Dan Burton @DanBurton": - hspec-jenkins