Где взять Virtualbox 5.2 для Debian 10 x32

[vbdsfhddfdbdf]

Добрый день!

Подскажите, если есть, официальный репозиторий с Virtualbox 5.2.32 для Debian 10 x32
Что-то нигде не могу найти, на официальном сайте только для Debian 10 x64
На virtualbox.org есть Virtualbox 5.2.32 для Debian 9 x32, но будет ли все работать?

[Modigar]

Бинарником ставьте