re-enable aern2-mp and aern2-real

closes #6648
This commit is contained in:
mikkonecny 2022-07-13 22:36:45 +01:00
parent 8552f4271b
commit 9f4077a87b

View File

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