Merge pull request #3071 from michalkonecny/master

add aern2-mp, aern2-real
This commit is contained in:
Dan Burton 2017-12-06 10:27:26 -08:00 committed by GitHub
commit 85fc4469a4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2514,6 +2514,8 @@ packages:
"Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
- hmpfr
- mixed-types-num
- aern2-mp
- aern2-real
"Bartosz Nitka <niteria@gmail.com> @niteria":
- oeis