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

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/