Running nixpkgs-update (https://github.com/NixOS/infra/blob/main/non-critical-infra/modules/nixpkgs-update/README.md) with UPDATE_INFO: casadi 3.8.1 -> 3.8.2 https://github.com/casadi/casadi/releases
attrpath: casadi
Checking auto update branch...
No auto update branch exists
There might already be an open PR for this update:
- casadi: 3.8.1 -> 3.8.2
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/583763"