[aur-requests] [PRQ#28679] Deletion Request for dolfin

[notify at aur.archlinux.org]

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/