add aern2-mp (trigger new check)
commitf7b04c618403ae4dcb9f426a90b7a893351c8ca2
authormikkonecny <mikkonecny@gmail.com>
dateWed 19 May 2021, 10:32 (5 years ago)
parent249478f
build-constraints.yaml+1−1
@@ -3329,7 +3329,7 @@ packages:
33293329 - mixed-types-num
33303330 - cdar-mBound
33313331 - aern2-mp
3332− # - aern2-real
3332+ # - aern2-real
33333333
33343334 "Bartosz Nitka <niteria@gmail.com> @niteria":
33353335 - oeis < 0 # via test-framework