[aur-requests] [PRQ#7829] Orphan Request for isabelle

[notify]

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/