@@ -3006,8 +3006,8 @@ packages:
3006 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
3006 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
3008 - mixed-types-num
3008 - mixed-types-num
3009− - aern2-mp < 0 # https://github.com/michalkonecny/aern2/issues/1
3009+ - aern2-mp
3010− - aern2-real < 0
3010+ - aern2-real
3012 "Bartosz Nitka <niteria@gmail.com> @niteria":
3012 "Bartosz Nitka <niteria@gmail.com> @niteria":