add cdar-mBound

This commit is contained in:
mikkonecny 2021-05-09 00:28:42 +01:00 committed by Mihai Maruseac
parent be28850c91
commit f192166a42

View File

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