FabioLolix [1] filed a deletion request for minizinc-ide-edge [2]: Disguised -bin, this is broken for more then a year since it repackage a build made corresponding to the 'edge' git tag which is created and deleted every few days, last updated on 2025-06-13 the maintainer also last touched and abandoned minizinc-ide around the same days
[1] https://aur.archlinux.org/account/FabioLolix/ [2] https://aur.archlinux.org/pkgbase/minizinc-ide-edge/
