jhernberg [1] filed a deletion request for linux-rt-dev [2]: I created this package by mistake. There won't be a linux-rt-dev in the future, only linux-rt and linux-rt-dev. Thanks
[1] https://aur.archlinux.org/account/jhernberg/ [2] https://aur.archlinux.org/pkgbase/linux-rt-dev/
