Hi, SageMath is going to upgrade to cddlib 0.94j in https://trac.sagemath.org/ticket/25344. I tried to upgrade Debian's package as well in this merge request: https://salsa.debian.org/science-team/cddlib/merge_requests/1 It would be great if somebody could have a look :) julian