add aern2-mp (trigger new check)

This commit is contained in:
mikkonecny 2021-05-19 10:32:21 +01:00
parent 249478ff52
commit f7b04c6184

View File

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