Vaadin 7 or 8 download on github or on vaadin.com ?

Is the download file Vaadin 7 or 8 on the website and / or the github with Alejandro ?

https://www.useloom.com/share/00d0efd5f9a048d5a86bc4fb1629a432