Adding packages aern2-mp, aern2-real
commitecde40fe068d9ba157b40bac065fa0b33b4bfec4
authormikkonecny <mikkonecny@gmail.com>
dateWed 6 Dec 2017, 10:30 (9 years ago)
parent6dd2c0e
build-constraints.yaml+2
@@ -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