@@ -422,8 +422,9 @@ packages:
422422 - latex-formulae-image
423423 - latex-formulae-pandoc
424424 - latex-formulae-hakyll
425− - agda-snippets
426− - agda-snippets-hakyll
425+ # Temporarily removed due to upper bound on haskell-src-exts in Agda
426+ # - agda-snippets
427+ # - agda-snippets-hakyll
427428
428429 "Dan Burton <danburton.email@gmail.com> @DanBurton":
429430 - hspec-jenkins
@@ -1409,7 +1410,9 @@ packages:
14091410 - ipython-kernel
14101411
14111412 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1412− - Agda
1413+ # Temporarily removed due to upper bound on haskell-src-exts
1414+ # - Agda
1415+ []
14131416
14141417 "James Cook <mokus@deepbondi.net> @mokus0":
14151418 - dependent-sum
@@ -1759,13 +1762,6 @@ packages:
17591762 - lucid-svg < 0.6.0.0
17601763 - diagrams-svg < 1.3.1.8
17611764
1762− # https://github.com/fpco/stackage/issues/981
1763− - haskell-src-exts < 1.17
1764− - derive < 2.5.23
1765− - hlint < 1.9.23
1766− - stylish-haskell < 0.5.14.4
1767− - fay < 0.23.1.9
1768−
17691765 # https://github.com/fpco/stackage/issues/992
17701766 - safecopy < 0.9
17711767