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

Merge pull request #6876 from andreasabel/agda-2.6.3

Browse Source 
Reenable Agda-2.6.3 after vector-hashtables has been added
This commit is contained in:
Chris Dornan 2023-02-05 16:40:03 +00:00 committed by GitHub
commit ff863e1530
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
build-constraints.yaml
View File

@ -7786,9 +7786,6 @@ packages:
# https://github.com/commercialhaskell/stackage/issues/6857 # https://github.com/commercialhaskell/stackage/issues/6857
- deriving-trans < 0.6 - deriving-trans < 0.6
# 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