on master help sign in
Add extended-reals
a50e425Bodigrim
build-constraints.yaml+1
@@ -3043,6 +3043,7 @@ packages:
3043 - arithmoi
3043 - arithmoi
3044 - bitvec
3044 - bitvec
3045 - poly
3045 - poly
3046+ - extended-reals
3046
3047
3047 "Ashley Yakeley <ashley@semantic.org> @AshleyYakeley":
3048 "Ashley Yakeley <ashley@semantic.org> @AshleyYakeley":
3048 - countable
3049 - countable