Reddconi-qt package for Raspberry Pi 2

Hi, I’m following the instructions in the Reddcoin Reddit at for installing reddcoin-qt wallet on Raspberry Pi 2.

All has gone ok with the installation and compilation of db. But I cannot find any .deb file at the link given. This appears to link to a mining site.

I need to be able to do:

dpkg -i reddcoin_2.0.0.0-1_armhf.deb

but I don’t have this package.

Where can i find the .deb package?

Thanks in advance.