Я просто загрузил архив, содержащий 2 пакета debian. Один пакет debian для 32-битной версии и один для 64-битной версии. Я опубликую результат позже, как только получаю отзывы от рецензентов.