heitzmann [1] filed a deletion request for fenics-git [2]: This package has been unmaintained for quite a while and is now superseeded by a fenics-git group (python-dolfin-git & dependencies) [1] https://aur.archlinux.org/account/heitzmann/ [2] https://aur.archlinux.org/pkgbase/fenics-git/