[HTCondor-users] Debian package for 8.0.7?

[Brian Candler <b.candler@xxxxxxxxx>]

I'm sure I previously installed the Debian wheezy package for htcondor 
8.0.7-250355 using the following sources entry:
deb [arch=amd64 trusted=yes] 
http://research.cs.wisc.edu/htcondor/debian/stable/ wheezy contrib

However I'm unable to install that version on another machine now, and 
looking in the repo, I see only 8.0.1 (and 8.2.2):
http://research.cs.wisc.edu/htcondor/debian/stable/pool/contrib/c/condor/

Furthermore, the "Packages" file lists only 8.2.2:
http://research.cs.wisc.edu/htcondor/debian/stable/dists/wheezy/contrib/binary-amd64/Packages

Does anyone know where the 8.0.7 package has gone?

Thanks,

Brian.

P.S. I did find the file condor_8.0.7-250355_amd64.deb in 
/var/cache/apt/archives/ on one of the machines, but I'd still like to 
be able to install it using the official repo.