@@ -2514,6 +2514,8 @@ packages:
25142514 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
25152515 - hmpfr
25162516 - mixed-types-num
2517+ - aern2-mp
2518+ - aern2-real
25172519
25182520 "Bartosz Nitka <niteria@gmail.com> @niteria":
25192521 - oeis