add cdar-mBound

This commit is contained in:
mikkonecny 2021-05-09 00:28:42 +01:00
parent 857fd7dcc2
commit fac02ac143

View File

@ -3321,6 +3321,7 @@ packages:
- hmpfr
- collect-errors
- mixed-types-num
- cdar-mBound
# - aern2-mp
# - aern2-real