@@ -2962,7 +2962,7 @@ packages:
2962 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
2962 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
2964 - mixed-types-num
2964 - mixed-types-num
2965− - aern2-mp
2965+ - aern2-mp < 0 # https://github.com/michalkonecny/aern2/issues/1
2966 - aern2-real < 0
2966 - aern2-real < 0
2968 "Bartosz Nitka <niteria@gmail.com> @niteria":
2968 "Bartosz Nitka <niteria@gmail.com> @niteria":