[aur-requests] [PRQ#16848] Orphan Request for frama-c

notify at aur.archlinux.org notify at aur.archlinux.org
Sat Nov 30 18:28:40 UTC 2019

Previous message (by thread): [aur-requests] [PRQ#16847] Orphan Request for alt-ergo Accepted
Next message (by thread): [aur-requests] [PRQ#16849] Deletion Request for nodejs-10.10.0
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Alad [1] filed an orphan request for frama-c [2]:

Flagged for 5 months

[1] https://aur.archlinux.org/account/Alad/
[2] https://aur.archlinux.org/pkgbase/frama-c/

Previous message (by thread): [aur-requests] [PRQ#16847] Orphan Request for alt-ergo Accepted
Next message (by thread): [aur-requests] [PRQ#16849] Deletion Request for nodejs-10.10.0
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the aur-requests mailing list