[aur-requests] [PRQ#30829] Deletion Request for frama-c-git Accepted