This commit is contained in:
Michael Snoyman 2019-01-09 14:20:13 +02:00
parent ce933c390b
commit ffefa0526c
No known key found for this signature in database
GPG Key ID: A048E8C057E86876

View File

@ -2962,7 +2962,7 @@ packages:
"Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
- hmpfr
- mixed-types-num
- aern2-mp
- aern2-mp < 0 # https://github.com/michalkonecny/aern2/issues/1
- aern2-real < 0
"Bartosz Nitka <niteria@gmail.com> @niteria":