mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-09-13 19:00:15 +00:00
Back in time to unbreak casadi. I must have failed something while retesting after https://github.com/NixOS/nixpkgs/pull/444660#discussion_r2379636210