Alad [1] filed an orphan request for frama-c [2]:
Flagged for 5 months
[1] https://aur.archlinux.org/account/Alad/ [2] https://aur.archlinux.org/pkgbase/frama-c/
Request #16848 has been rejected by Muflone [1]:
package was updated
aur-requests@lists.archlinux.org