diff --git a/build-constraints.yaml b/build-constraints.yaml index fa71915c..c1a83c8b 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -449,8 +449,9 @@ packages: - latex-formulae-image - latex-formulae-pandoc - latex-formulae-hakyll - - agda-snippets # - agda-snippets-hakyll + # Temporarily removed due to Agda's upper bound on unordered-containers. + # - agda-snippets "Dan Burton @DanBurton": - hspec-jenkins @@ -1963,9 +1964,6 @@ packages: # https://github.com/fpco/stackage/issues/1128 - machines < 0.6 - # https://github.com/fpco/stackage/issues/1222 - - unordered-containers < 0.2.6 - # https://github.com/fpco/stackage/issues/1147 - comonad < 4.3 - pointed < 5