[aur-requests] [PRQ#30829] Deletion Request for frama-c-git
notify at aur.archlinux.org
notify at aur.archlinux.org
Sat Dec 18 11:08:54 UTC 2021
zoorat [1] filed a deletion request for frama-c-git [2]:
Orphan: true
Broken Dependency: alt-ergo, why3
Votes: 1
Popularity: 0.000029
Last Modified: Sat, 30 Nov 2019 19:23:56 GMT (2 years ago)
Flagged out-of-date: Fri, 17 Jul 2020 11:19:02 GMT (a year ago)
Required by: 0
[1] https://aur.archlinux.org/account/zoorat/
[2] https://aur.archlinux.org/pkgbase/frama-c-git/
More information about the aur-requests
mailing list