jenkinsci/puppet-jenkins — pull request #53 by jchristi (2013-10-10 15:43:42+00:00)
Title: Allow specific versions of jenkins plugins to be installed

The current implementation will install the specified plugin version only if the plugin is not already installed. If a different version of the plugin is already installed, then it will not be overwritten. This patch ensures that the plugin version specified is the one that is installed.

I don't much like the approach of putting a bash script in /tmp, but it is the only way I can think of to do this.