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 per
zoorat [1] filed a deletion request for frama-c-git [2]:
Missing 1 dependency,
Last Updated: 2019-12-01 01:23,
comment by @framac in Out-of-Date "The Frama-C public git repository
moved to https://git.frama-c.com/pub/frama-c ; the old Github
repository is no longer updated."
[1] https://aur.archl
