[PRQ#41683] Orphan Request for frama-c
27 May
2023
27 May
'23
8:17 p.m.
MarsSeed [1] filed an orphan request for frama-c [2]: Unmaintained. Flagged out-of-date (2022-05-09). [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/frama-c/
27 May
27 May
8:17 p.m.
New subject: [PRQ#41683] Orphan Request for frama-c Accepted
Request #41683 has been Accepted by MarsSeed [1]. [1] https://aur.archlinux.org/account/MarsSeed/
575
Age (days ago)
575
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org