minizincide 2.8.2 -> 2.8.3 https://github.com/MiniZinc/MiniZincIDE/releases
attrpath: minizincide
Checking auto update branch...
No auto update branch exists
There might already be an open PR for this update:
- minizinc: 2.8.2 -> 2.8.3
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/285481"