on master help sign in
Merge pull request #3071 from michalkonecny/master
85fc446Dan Burton
build-constraints.yaml+2
@@ -2514,6 +2514,8 @@ packages:
2514 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
2514 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
2515 - hmpfr
2515 - hmpfr
2516 - mixed-types-num
2516 - mixed-types-num
2517+ - aern2-mp
2518+ - aern2-real
2517
2519
2518 "Bartosz Nitka <niteria@gmail.com> @niteria":
2520 "Bartosz Nitka <niteria@gmail.com> @niteria":
2519 - oeis
2521 - oeis