Merge pull request #6044 from michalkonecny/master

add aern2-real
This commit is contained in:
Dan Burton 2021-05-31 19:20:47 -04:00 committed by GitHub
commit 76478f2f8a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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