[aur-requests] [PRQ#6879] Deletion Request for fenics-git