mhdi [1] filed a deletion request for instant-git [2]: Instant has been retired after 2017.2.0 release. It is no longer needed in FEniCS and hence no longer maintained and tested. All test systems status information may be misleading. [1] https://aur.archlinux.org/account/mhdi/ [2] https://aur.archlinux.org/pkgbase/instant-git/