mhdi [1] filed a deletion request for de4dot-git [2]: Abandoned package from 2015. Build fails. The development was stopped in 2020. The GitHub repository has been archived on Oct 2020.
[1] https://aur.archlinux.org/account/mhdi/ [2] https://aur.archlinux.org/pkgbase/de4dot-git/
