add aern2-mp
commit249478ff5294d89dd4a70b58879b9b45b4f20f6c
authormikkonecny <mikkonecny@gmail.com>
dateTue 18 May 2021, 18:24 (5 years ago)
parent65c8b0a
build-constraints.yaml+1−1
@@ -3328,7 +3328,7 @@ packages:
33283328 - collect-errors
33293329 - mixed-types-num
33303330 - cdar-mBound
3331− # - aern2-mp
3331+ - aern2-mp
33323332 # - aern2-real
33333333
33343334 "Bartosz Nitka <niteria@gmail.com> @niteria":