[aur-requests] [PRQ#30829] Deletion Request for frama-c-git
18 Dec
2021
18 Dec
'21
11:08 a.m.
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/
23 Dec
23 Dec
2:32 a.m.
New subject: [aur-requests] [PRQ#30829] Deletion Request for frama-c-git Accepted
Request #30829 has been accepted by ainola [1]. [1] https://aur.archlinux.org/account/ainola/
1123
Age (days ago)
1128
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org