disable aern2-mp and aern2-real

This commit is contained in:
mikkonecny 2021-05-01 12:59:12 +01:00
parent e0614b64e0
commit 17e029cf27

View File

@ -3321,8 +3321,8 @@ packages:
- hmpfr - hmpfr
- collect-errors - collect-errors
- mixed-types-num - mixed-types-num
- 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