-
Bug
-
Resolution: Fixed
-
Major
-
None
The Red Hat repository contains all jenkins versions:
curl http://pkg.jenkins-ci.org/redhat/repodata/filelists.xml.gz |gunzip
However, the Debian mirror contains only the latest one:
curl http://pkg.jenkins-ci.org/debian/binary/Packages |gunzip
It would be really nice to be able to install a specific version of jenkins using the official distro repositories.