Merge pull request #5997 from michalkonecny/master

add collect-errors, comment-out aern2-* packages
This commit is contained in:
Michael Snoyman 2021-05-02 09:01:24 +03:00 committed by GitHub
commit f4bd547e96
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3319,9 +3319,10 @@ packages:
"Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
- hmpfr
- collect-errors
- mixed-types-num
- aern2-mp < 0 # https://github.com/michalkonecny/aern2/issues/1
- aern2-real < 0
# - aern2-mp
# - aern2-real
"Bartosz Nitka <niteria@gmail.com> @niteria":
- oeis < 0 # via test-framework