seirl [1] filed a deletion request for vaucanson [2]:

This package is the git version, and already maintained by someone else at the right place (vaucanson-git).

[1] https://aur.archlinux.org/account/seirl/ [2] https://aur.archlinux.org/pkgbase/vaucanson/