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/
