Disables aern2-mp & aern2-real (#6648)

This commit is contained in:
jkachmar 2022-07-13 13:19:13 -04:00 committed by GitHub
parent d1a1c90a20
commit 8552f4271b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3408,8 +3408,8 @@ packages:
- collect-errors
- mixed-types-num
- cdar-mBound
- aern2-mp
- aern2-real
- aern2-mp < 0 # https://github.com/commercialhaskell/stackage/issues/6648
- aern2-real < 0 # https://github.com/commercialhaskell/stackage/issues/6648
"Bartosz Nitka <niteria@gmail.com> @niteria":
- oeis