Add more bounds for #6908

Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
This commit is contained in:
Mihai Maruseac 2023-03-12 20:19:02 -07:00
parent ab609cf65e
commit 30fa12c5e3
No known key found for this signature in database

View File

@ -7815,6 +7815,7 @@ packages:
- eliminators < 0.9.3
- singletons-base < 3.2
- singletons-th < 3.2
- th-desugar < 1.15
# end of packages
# Package flags are applied to individual packages, and override the values of