disable aern2-mp and aern2-real
commit17e029cf27e097e3f12edc660ca0f53a572cbabf
authormikkonecny <mikkonecny@gmail.com>
dateSat 1 May 2021, 12:59 (5 years ago)
parente0614b6
build-constraints.yaml+2−2
@@ -3321,8 +3321,8 @@ packages:
33213321 - hmpfr
33223322 - collect-errors
33233323 - mixed-types-num
3324− - aern2-mp
3325− - aern2-real
3324+ # - aern2-mp
3325+ # - aern2-real
33263326
33273327 "Bartosz Nitka <niteria@gmail.com> @niteria":
33283328 - oeis < 0 # via test-framework