on master help sign in
Add extended-reals
commita50e425b1f121c0069960ac00576bbdefdee19d3 authorBodigrim <andrew.lelechenko@gmail.com> dateSun 6 Oct 2019, 22:33 (7 years ago) parent16a299d
1 file changed+1
build-constraints.yaml+1
build-constraints.yaml+1
@@ -3043,6 +3043,7 @@ packages:
30433043 - arithmoi
30443044 - bitvec
30453045 - poly
3046+ - extended-reals
30463047
30473048 "Ashley Yakeley <ashley@semantic.org> @AshleyYakeley":
30483049 - countable