[aur-requests] [PRQ#28076] Deletion Request for frama-c-git Rejected