Adding packages aern2-mp, aern2-real

This commit is contained in:
mikkonecny 2017-12-06 10:30:43 +00:00
parent 6dd2c0e95d
commit ecde40fe06

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