a821 [1] filed a deletion request for scip [2]: Name conflicts with community/scip. They are different programs.
[1] https://aur.archlinux.org/account/a821/ [2] https://aur.archlinux.org/pkgbase/scip/
- [PRQ#39881] Deletion Request for scip notify
a821 [1] filed a deletion request for scip [2]: Name conflicts with community/scip. They are different programs.
[1] https://aur.archlinux.org/account/a821/ [2] https://aur.archlinux.org/pkgbase/scip/