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/