debian/stone.1*
