Control: tags -1 + patch I proposed a patch for fixing the issue as a merge request at Salsa: https://salsa.debian.org/science-team/casadi/-/merge_requests/1 Best, Rafael Laboissière