git.iko.soy/stackage
on master help sign in
add cdar-mBound
fac02acmikkonecny
build-constraints.yaml+1
compare with master
unifiedsplit
@@ -3321,6 +3321,7 @@ packages:
3321 - hmpfr
3321 - hmpfr
3322 - collect-errors
3322 - collect-errors
3323 - mixed-types-num
3323 - mixed-types-num
3324+ - cdar-mBound
3324 # - aern2-mp
3325 # - aern2-mp
3325 # - aern2-real
3326 # - aern2-real
3326
3327