[PRQ#41683] Orphan Request for frama-c

[notify]

MarsSeed [1] filed an orphan request for frama-c [2]:

Unmaintained. Flagged out-of-date (2022-05-09).

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/frama-c/