[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