carlosal1015 [1] filed a deletion request for fiat-git [2]: The project [1] has been stopped and is archived. [1] https://github.com/FEniCS/fiat [1] https://aur.archlinux.org/account/carlosal1015/ [2] https://aur.archlinux.org/pkgbase/fiat-git/