Still need some upper bound for arithmoi.

This commit is contained in:
Mihai Maruseac 2020-08-01 12:58:01 -07:00
parent 565b1e0c6b
commit b776c3ea7e

View File

@ -3177,7 +3177,7 @@ packages:
- primitive-addr
- quickcheck-classes
- quickcheck-classes-base
- arithmoi
- arithmoi < 0.11.0.1
- bitvec
- poly
- extended-reals