[aur-requests] [PRQ#20734] Deletion Request for openmpi3-gcc7