add aern2-real
commit23068062dab5b397e8b032b62f6fbd0acf91ab2a
authormikkonecny <mikkonecny@gmail.com>
dateWed 26 May 2021, 15:11 (5 years ago)
parentac86b30
build-constraints.yaml+1−1
@@ -3335,7 +3335,7 @@ packages:
33353335 - mixed-types-num
33363336 - cdar-mBound
33373337 - aern2-mp
3338− # - aern2-real
3338+ - aern2-real
33393339
33403340 "Bartosz Nitka <niteria@gmail.com> @niteria":
33413341 - oeis < 0 # via test-framework