@@ -3331,8 +3331,8 @@ packages:
3331 - collect-errors
3331 - collect-errors
3332 - mixed-types-num
3332 - mixed-types-num
3333 - cdar-mBound
3333 - cdar-mBound
3334− # - aern2-mp
3334+ - aern2-mp
3335− # - aern2-real
3335+ # - aern2-real
3337 "Bartosz Nitka <niteria@gmail.com> @niteria":
3337 "Bartosz Nitka <niteria@gmail.com> @niteria":
3338 - oeis < 0 # via test-framework
3338 - oeis < 0 # via test-framework