Still need some upper bound for `arithmoi`.
commitb776c3ea7eb78afb81cfda14870a4210a451e465
authorMihai Maruseac <mihai.maruseac@gmail.com>
dateSat 1 Aug 2020, 12:58 (6 years ago)
parent565b1e0
build-constraints.yaml+1−1
@@ -3177,7 +3177,7 @@ packages:
31773177 - primitive-addr
31783178 - quickcheck-classes
31793179 - quickcheck-classes-base
3180− - arithmoi
3180+ - arithmoi < 0.11.0.1
31813181 - bitvec
31823182 - poly
31833183 - extended-reals