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

[notify at aur.archlinux.org]

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/