yochananmarqos [1] filed a deletion request for reasonix-desktop-deb [2]: Duplicate of reasonix-desktop-bin which also uses the upstream .deb.
[1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/reasonix-desktop-deb/
