Re-add 13.x versions and include 15.7
Reverts !17 (merged) to re-add the 13.x archives.
This MR also adds version 15.7.
Hopefully the fix made in gitlab#384875 (closed) will allow this to deploy, despite the large size.
Reverts !17 (merged) to re-add the 13.x archives.
This MR also adds version 15.7.
Hopefully the fix made in gitlab#384875 (closed) will allow this to deploy, despite the large size.