palasso [1] filed a deletion request for protege-core [2]: Does not apply anymore as there is protege3 and protege3-owl [1] https://aur.archlinux.org/account/palasso/ [2] https://aur.archlinux.org/pkgbase/protege-core/