diff --git a/build-constraints.yaml b/build-constraints.yaml index fba701ea..a4fad6bd 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -458,9 +458,8 @@ packages: - latex-formulae-image - latex-formulae-pandoc - latex-formulae-hakyll - # - agda-snippets-hakyll - # Temporarily removed due to Agda's upper bound on unordered-containers. - # - agda-snippets + - agda-snippets + - agda-snippets-hakyll "Dan Burton @DanBurton": - hspec-jenkins