[aur-requests] [PRQ#7829] Orphan Request for isabelle
31 Mar
2017
31 Mar
'17
7:17 a.m.
badcasa [1] filed a orphan request for isabelle [2]: out of date for >3 months, e-mail address of the maintainer is not working [1] https://aur.archlinux.org/account/badcasa/ [2] https://aur.archlinux.org/pkgbase/isabelle/
15 Apr
15 Apr
10 p.m.
New subject: [aur-requests] [PRQ#7829] Request Accepted
Request #7829 has been accepted automatically by the Arch User Repository package request system: The user Muflone disowned the package.
2816
Age (days ago)
2831
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org