debian/3.7.0+ds2-3

roland.mas@entierement.net

ee2cdc36 · Add missing info to debian/copyright · Aug 13, 2025

casadi Debian release 3.7.0+ds2-3