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/
Request #641 has been accepted by ConnorBehan [1].
aur-requests@lists.archlinux.org