add new stack.yaml files to Agda.cabal

agda · Sep 7, 2020 · fce01db · fce01db
1 parent dbe2255
commit fce01db
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Agda.cabal b/Agda.cabal
@@ -74,6 +74,9 @@ extra-source-files: CHANGELOG.md
                     doc/release-notes/2.2.0.md
 -- Liang-Ting (2019-11-26): See Issues #4216
                     doc/user-manual.pdf
+                    stack-8.10.2.yaml
+                    stack-8.10.1.yaml
+                    stack-8.8.4.yaml
                     stack-8.8.3.yaml
 -- ASR (2020-03-09). I'll keep the below file until a resolver for GHC8.8.3
 -- is available.