diff --git a/build-constraints.yaml b/build-constraints.yaml index 5a947efd..a7d933d3 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -421,7 +421,8 @@ packages: - latex-formulae-pandoc - latex-formulae-hakyll - agda-snippets - - agda-snippets-hakyll + # https://github.com/liamoc/agda-snippets/issues/1 + # - agda-snippets-hakyll "Dan Burton @DanBurton": - hspec-jenkins