[PRQ#37791] Deletion Request for libdrm-proptest

thurstylark [1] filed a deletion request for libdrm-proptest [2]: The functionality that this package was meant to provide is now provided by extra/libdrm. See: https://bugs.archlinux.org/task/76084 [1] https://aur.archlinux.org/account/thurstylark/ [2] https://aur.archlinux.org/pkgbase/libdrm-proptest/