Merge pull request #6957 from ysangkok/janus/tagged-0.8.7

Allow tagged-0.8.7
This commit is contained in:
Andreas Ländle 2023-04-26 08:51:14 +02:00 committed by GitHub
commit 03f8f99093
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7655,9 +7655,6 @@ packages:
# https://github.com/commercialhaskell/stackage/issues/6887
- primitive < 0.8
# https://github.com/commercialhaskell/stackage/issues/6889
- tagged < 0.8.7
# https://github.com/commercialhaskell/stackage/issues/6897
- th-abstraction < 0.5.0.0