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