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 -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
