Drop aern2-mp michalkonecny/aern2#1
commitffefa0526c28ed9c3e2b079b250a8f86cbc1907f
authorMichael Snoyman <michael@snoyman.com>
dateWed 9 Jan 2019, 14:20 (8 years ago)
parentce933c3
build-constraints.yaml+1−1
@@ -2962,7 +2962,7 @@ packages:
29622962 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
29632963 - hmpfr
29642964 - mixed-types-num
2965− - aern2-mp
2965+ - aern2-mp < 0 # https://github.com/michalkonecny/aern2/issues/1
29662966 - aern2-real < 0
29672967
29682968 "Bartosz Nitka <niteria@gmail.com> @niteria":