Remove upper bounds and close #981

build-constraints.yaml

@@ -422,8 +422,9 @@ packages:
         - latex-formulae-image
         - latex-formulae-pandoc
         - latex-formulae-hakyll
-        - agda-snippets
-        - agda-snippets-hakyll
+        # Temporarily removed due to upper bound on haskell-src-exts in Agda
+        # - agda-snippets
+        # - agda-snippets-hakyll
 
     "Dan Burton <danburton.email@gmail.com> @DanBurton":
         - hspec-jenkins
@@ -1409,7 +1410,9 @@ packages:
         - ipython-kernel
 
     "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
-        - Agda
+        # Temporarily removed due to upper bound on haskell-src-exts
+        # - Agda
+        []
 
     "James Cook <mokus@deepbondi.net> @mokus0":
         - dependent-sum
@@ -1759,13 +1762,6 @@ packages:
         - lucid-svg < 0.6.0.0
         - diagrams-svg < 1.3.1.8
 
-        # https://github.com/fpco/stackage/issues/981
-        - haskell-src-exts < 1.17
-        - derive < 2.5.23
-        - hlint < 1.9.23
-        - stylish-haskell < 0.5.14.4
-        - fay < 0.23.1.9
-
         # https://github.com/fpco/stackage/issues/992
         - safecopy < 0.9