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/
Request #7829 has been accepted automatically by the Arch User Repository package request system:
The user Muflone disowned the package.
aur-requests@lists.archlinux.org