[PRQ#43860] Deletion Request for dive-bin

aminvakil [1] filed a deletion request for dive-bin [2]: There is dive in arch official repositories and this package does not offer something special more than that. Also maintainer agrees (see comments). [1] https://aur.archlinux.org/account/aminvakil/ [2] https://aur.archlinux.org/pkgbase/dive-bin/