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.archlinux.org/account/zoorat/ [2] https://aur.archlinux.org/pkgbase/frama-c-git/
