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

notify at aur.archlinux.org notify at aur.archlinux.org
Wed Sep 8 09:38:11 UTC 2021

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/

More information about the aur-requests mailing list