mads256h [1] filed a deletion request for uppaal5 [2]: The upstream developers has created their own packages namely uppaal and uppaal-beta, and has requested me to delete this package. [1] https://aur.archlinux.org/account/mads256h/ [2] https://aur.archlinux.org/pkgbase/uppaal5/