@@ -3319,9 +3319,10 @@ packages:
3320 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
3320 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
3322 - mixed-types-num
3323 - mixed-types-num
3323− - aern2-mp < 0 # https://github.com/michalkonecny/aern2/issues/1
3324+ # - aern2-mp
3324− - aern2-real < 0
3325+ # - aern2-real
3326 "Bartosz Nitka <niteria@gmail.com> @niteria":
3327 "Bartosz Nitka <niteria@gmail.com> @niteria":
3327 - oeis < 0 # via test-framework
3328 - oeis < 0 # via test-framework