maven repository for 7.1.0?

Is there a different maven repository for the 7.1.0 release?

The 7.1.0.beta1 is in the repository but not seeing the 7.1.0 release.


Vaadin framework 7.1.0, the corresponding Maven plugin etc. are all in Maven Central - no need to use custom repositories.

Note, though, that you might want to keep the add-on repository in your POMs as many add-ons from Vaadin Directory are not in Maven Central.

Yes they are (|ga|1|vaadin). Thank you Henri.

Must have been an indexing issue with our Nexus repository, required updating remote indexes on Central.