haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-02-16 16:25:49 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add an upper bound for Agda, #6871

Browse Source
This commit is contained in:
Alexey Zabelin 2023-01-30 14:38:16 -06:00
parent c0c0338a0a
commit 3272df81de
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
build-constraints.yaml
View File

@ -7788,6 +7788,9 @@ packages:
# https://github.com/commercialhaskell/stackage/issues/6868 # https://github.com/commercialhaskell/stackage/issues/6868
- lattices < 2.1 - lattices < 2.1
# https://github.com/commercialhaskell/stackage/issues/6871
- Agda < 2.6.3
# end of packages # end of packages
# Package flags are applied to individual packages, and override the values of # Package flags are applied to individual packages, and override the values of