@@ -458,9 +458,8 @@ packages:
458 - latex-formulae-image
458 - latex-formulae-image
459 - latex-formulae-pandoc
459 - latex-formulae-pandoc
460 - latex-formulae-hakyll
460 - latex-formulae-hakyll
461− # - agda-snippets-hakyll
462+ - agda-snippets-hakyll
462− # Temporarily removed due to Agda's upper bound on unordered-containers.
465 "Dan Burton <danburton.email@gmail.com> @DanBurton":
464 "Dan Burton <danburton.email@gmail.com> @DanBurton":
466 - hspec-jenkins
465 - hspec-jenkins