From fbddc3d6fc1dc258bb03ad6f8ea220d937175244 Mon Sep 17 00:00:00 2001 From: Dan Burton Date: Thu, 31 Dec 2015 12:47:59 -0800 Subject: [PATCH] Link to liamoc/agda-snippets#2 --- build-constraints.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 6e8af73a..f979f913 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -429,7 +429,7 @@ packages: - latex-formulae-image - latex-formulae-pandoc - latex-formulae-hakyll - # Temporarily removed due to upper bound on haskell-src-exts in Agda + # https://github.com/liamoc/agda-snippets/issues/2 # - agda-snippets # - agda-snippets-hakyll