Link to liamoc/agda-snippets#2
commitfbddc3d6fc1dc258bb03ad6f8ea220d937175244
authorDan Burton <danburton.email@gmail.com>
dateThu 31 Dec 2015, 12:47 (11 years ago)
parent70c9f2d
build-constraints.yaml+1−1
@@ -429,7 +429,7 @@ packages:
429429 - latex-formulae-image
430430 - latex-formulae-pandoc
431431 - latex-formulae-hakyll
432− # Temporarily removed due to upper bound on haskell-src-exts in Agda
432+ # https://github.com/liamoc/agda-snippets/issues/2
433433 # - agda-snippets
434434 # - agda-snippets-hakyll
435435