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

[notify at aur.archlinux.org]

Request #28076 has been rejected by alerque [1]:

I disowned the package instead of deleting it. The OOD flag from 1y
ago shows the new upstream location, and the current maintainer
adopted but never pushed an update. The upstream changes look like
they will eliminate the missing dependency, so perhaps an interested
party would rather fix this than have it go away.

[1] https://aur.archlinux.org/account/alerque/