@@ -449,8 +449,9 @@ packages:
449 - latex-formulae-image
449 - latex-formulae-image
450 - latex-formulae-pandoc
450 - latex-formulae-pandoc
451 - latex-formulae-hakyll
451 - latex-formulae-hakyll
453 # - agda-snippets-hakyll
452 # - agda-snippets-hakyll
453+ # Temporarily removed due to Agda's upper bound on unordered-containers.
455 "Dan Burton <danburton.email@gmail.com> @DanBurton":
456 "Dan Burton <danburton.email@gmail.com> @DanBurton":
456 - hspec-jenkins
457 - hspec-jenkins
@@ -1963,9 +1964,6 @@ packages:
1963 # https://github.com/fpco/stackage/issues/1128
1964 # https://github.com/fpco/stackage/issues/1128
1964 - machines < 0.6
1965 - machines < 0.6
1966− # https://github.com/fpco/stackage/issues/1222
1967− - unordered-containers < 0.2.6
1969 # https://github.com/fpco/stackage/issues/1147
1967 # https://github.com/fpco/stackage/issues/1147
1970 - comonad < 4.3
1968 - comonad < 4.3
1971 - pointed < 5
1969 - pointed < 5