add aern2-mp

This commit is contained in:
mikkonecny 2021-05-18 18:24:44 +01:00
parent 65c8b0a296
commit 249478ff52

View File

@ -3328,7 +3328,7 @@ packages:
- collect-errors
- mixed-types-num
- cdar-mBound
# - aern2-mp
- aern2-mp
# - aern2-real
"Bartosz Nitka <niteria@gmail.com> @niteria":