Ubuntu - install an older package from some repository ( puppet 0.25.4 on Ubuntu 12.10)

Case: Needed to install puppet version 0.25.4. on a latest version 1.10 of Ubuntu. Latest version of puppet- 3.X gets installed by default.

Found the deb for the version I need in following repository:
http://security.ubuntu.com/ubuntu/pool/main/p/puppet/puppet_0.25.4-2ubuntu6_all.deb

Following worked(as root):
echo "deb http://security.ubuntu.com/ubuntu lucid-security main\ndeb-src http://security.ubuntu.com/ubuntu lucid-security main"\
 >> /etc/apt/sources.list
apt-get update
apt-get install puppet-common=0.25.4-2ubuntu6.8 || exit
apt-get install puppet=0.25.4-2ubuntu6.8 || exit