Mirror for the deb file(s) of jenkins 1 as there is no official mirror anymore - View it on GitHub