re-enable aern2 packages

This commit is contained in:
mikkonecny 2019-03-19 17:24:07 +00:00
parent 6989e042f8
commit 1ff5dc93b4

View File

@ -3006,8 +3006,8 @@ packages:
"Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
- hmpfr
- 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