Gracias Redy, estaba respondiendo cuando ha salido tu mensaje. Efectívamente, uso 32 bits y por eso no me salía en los repositorios.
Si miras el inicio del hilo, el empaquetado lo hicieron en Blogdrake a petición nuestra y eso debió ser un descuido. Voy a comentárselo a ver si lo pueden subir (probablemente esté generado y se olvidó subirlo) y ya de paso
actualizarlo.