xantares [1] filed a deletion request for mingw-w64-coinor-osi [2]: renamed to mingw-w64-coin-or-osi [1] https://aur.archlinux.org/account/xantares/ [2] https://aur.archlinux.org/pkgbase/mingw-w64-coinor-osi/