@@ -449,8 +449,9 @@ packages:
449449 - latex-formulae-image
450450 - latex-formulae-pandoc
451451 - latex-formulae-hakyll
452− - agda-snippets
453452 # - agda-snippets-hakyll
453+ # Temporarily removed due to Agda's upper bound on unordered-containers.
454+ # - agda-snippets
454455
455456 "Dan Burton <danburton.email@gmail.com> @DanBurton":
456457 - hspec-jenkins
@@ -1963,9 +1964,6 @@ packages:
19631964 # https://github.com/fpco/stackage/issues/1128
19641965 - machines < 0.6
19651966
1966− # https://github.com/fpco/stackage/issues/1222
1967− - unordered-containers < 0.2.6
1968−
19691967 # https://github.com/fpco/stackage/issues/1147
19701968 - comonad < 4.3
19711969 - pointed < 5