On Fri, Jul 1, 2022 at 3:23 PM wrote:

MarsSeed [1] filed a deletion request for libdrm-proptest [2]:

Duplicates Arch extra/libdrm and has a false description: "A test suit for libdrm that can be used to set RGB settings in wayland".

Whereas in actuality this just builds libdrm from source, which is a "Userspace interface to kernel DRM services", according to its Arch package description. [a]

[a] https://archlinux.org/packages/extra/x86_64/libdrm/

[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/libdrm-proptest/

Oh, does the libdrm package provide the proptest binary now? Access to that tool is the only reason this package exists, and can be deleted if that is the case. Otherwise, I would ask to keep this around.