korjjj [1] filed a merge request for dynamips-community [2]: I think merge would be more appropriate than deletion. [1] https://aur.archlinux.org/account/korjjj/ [2] https://aur.archlinux.org/pkgbase/dynamips-community/