[aur-requests] [PRQ#641] Deletion Request for vaucanson

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/