git.iko.soy/stackage
on master help sign in
Merge pull request #4896 from Bodigrim/patch-1
508b495Jens Petersen
build-constraints.yaml+1
compare with master
unifiedsplit
@@ -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