@@ -3336,7 +3336,7 @@ packages:
3336 - mixed-types-num
3336 - mixed-types-num
3337 - cdar-mBound
3337 - cdar-mBound
3338 - aern2-mp
3338 - aern2-mp
3339− # - aern2-real
3339+ - aern2-real
3341 "Bartosz Nitka <niteria@gmail.com> @niteria":
3341 "Bartosz Nitka <niteria@gmail.com> @niteria":
3342 - oeis < 0 # via test-framework
3342 - oeis < 0 # via test-framework