re-enable agda-snippets and agda-snippets-hakyll (#1369)
commita7f87c4a52f1e6eb9a04730bc674f0d052d77018
authorJens Petersen <juhpetersen@gmail.com>
dateTue 19 Apr 2016, 16:17 (11 years ago)
parent0acec5e
build-constraints.yaml+2−3
@@ -458,9 +458,8 @@ packages:
458458 - latex-formulae-image
459459 - latex-formulae-pandoc
460460 - latex-formulae-hakyll
461− # - agda-snippets-hakyll
462− # Temporarily removed due to Agda's upper bound on unordered-containers.
463− # - agda-snippets
461+ - agda-snippets
462+ - agda-snippets-hakyll
464463
465464 "Dan Burton <danburton.email@gmail.com> @DanBurton":
466465 - hspec-jenkins