FabioLolix [1] filed an orphan request for minizinc-ide [2]: Flagged OOD since 2025-10-19, is a disguised -bin pkgbuild since upload, have an updated pkgbuild that builds from source
[1] https://aur.archlinux.org/account/FabioLolix/ [2] https://aur.archlinux.org/pkgbase/minizinc-ide/
