on master help sign in
add cdar-mBound
commitfac02ac143ee2a74929e6ae2949fca4bfd450159 authormikkonecny <mikkonecny@gmail.com> dateSun 9 May 2021, 00:28 (5 years ago) parent857fd7d
1 file changed+1
build-constraints.yaml+1
build-constraints.yaml+1
@@ -3321,6 +3321,7 @@ packages:
33213321 - hmpfr
33223322 - collect-errors
33233323 - mixed-types-num
3324+ - cdar-mBound
33243325 # - aern2-mp
33253326 # - aern2-real
33263327