This commit is contained in:
Michal Konecny 2017-12-06 10:32:12 +00:00 committed by GitHub
commit ac0401f69d

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