entshuld [1] filed a deletion request for dolfin [2]: DOLFIN has migrated into DOLFINx. The old code is from 2019, and having a Git package for DOLFIN does not make sense. Instead a DOLFINx package should be created.
[1] https://aur.archlinux.org/account/entshuld/ [2] https://aur.archlinux.org/pkgbase/dolfin/
