Merge pull request #4896 from Bodigrim/patch-1

Add extended-reals
This commit is contained in:
Jens Petersen 2019-10-07 16:09:50 +08:00 committed by GitHub
commit 508b49511a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3043,6 +3043,7 @@ packages:
- arithmoi
- bitvec
- poly
- extended-reals
"Ashley Yakeley <ashley@semantic.org> @AshleyYakeley":
- countable