carlosal1015 [1] filed a deletion request for python2-efilter [2]: The project [1] has been stopped 5 years ago and is archived. [1] https://github.com/google/dotty [1] https://aur.archlinux.org/account/carlosal1015/ [2] https://aur.archlinux.org/pkgbase/python2-efilter/