[PRQ#52277] Deletion Request for frama-c

MarsSeed [1] filed a deletion request for frama-c [2]: Broken since years, missing dependencies, and other dependencies are broken orphans. Not useful to keep. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/frama-c/