I recently installed a 32-bit version of Mint Cinnamon on an old Dell laptop. I installed Kstars using the Software Manager provided in that distro. However, the DLSR drivers, including indi_gphoto_ccd, are missing. Indiserver and other drivers are there but not indi_gphoto_ccd. I have tried to install via terminal using the instructions for ubuntu, however, I am getting a keyserver error when trying to add the respository..