Merge pull request #6044 from michalkonecny/master
add aern2-real
commit76478f2f8aab552b315fd46f1ae1dfd23d7c5006
authorDan Burton <danburton.email@gmail.com>
dateMon 31 May 2021, 19:20 (5 years ago)
parentf89c6302306806
build-constraints.yaml+1−1
@@ -3336,7 +3336,7 @@ packages:
33363336 - mixed-types-num
33373337 - cdar-mBound
33383338 - aern2-mp
3339− # - aern2-real
3339+ - aern2-real
33403340
33413341 "Bartosz Nitka <niteria@gmail.com> @niteria":
33423342 - oeis < 0 # via test-framework