seirl  filed a deletion request for vaucanson :
This package is the git version, and already maintained by someone
else at the right place (vaucanson-git).
Show replies by date
Request #641 has been accepted by ConnorBehan .
Add to favorites
Remove from favorites