[PRQ#52277] Deletion Request for frama-c
18 Dec
2023
18 Dec
'23
11:52 p.m.
MarsSeed [1] filed a deletion request for frama-c [2]: Broken since years, missing dependencies, and other dependencies are broken orphans. Not useful to keep. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/frama-c/
28 Jan
28 Jan
6:36 p.m.
New subject: [PRQ#52277] Deletion Request for frama-c Accepted
Request #52277 has been Accepted by muflone [1]: [Autogenerated] Accepted deletion for frama-c. [1] https://aur.archlinux.org/account/muflone/
291
Age (days ago)
332
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org