/why3-man.tar.xz
/why3-*.tar.gz
