re-enable aern2 packages
commit1ff5dc93b4b4774bca3ec2c005ec1da94fbf9838
authormikkonecny <mikkonecny@gmail.com>
dateTue 19 Mar 2019, 17:24 (8 years ago)
parent6989e04
build-constraints.yaml+2−2
@@ -3006,8 +3006,8 @@ packages:
30063006 "Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
30073007 - hmpfr
30083008 - mixed-types-num
3009− - aern2-mp < 0 # https://github.com/michalkonecny/aern2/issues/1
3010− - aern2-real < 0
3009+ - aern2-mp
3010+ - aern2-real
30113011
30123012 "Bartosz Nitka <niteria@gmail.com> @niteria":
30133013 - oeis