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