add aern2-real

This commit is contained in:
mikkonecny 2021-05-26 15:11:27 +01:00
parent ac86b30954
commit 23068062da

View File

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