I did manually add it but it’s not showing in the command? Also Github is absolutely slow as mollasses. I can’t even download the ISO from there it’s over an hour so there has to be something wrong with that. I end up getting it from the Alpix server.
Edit: The extension shows it’s installed but didn’t show on the command. maybe because of the dkms modules?
If you manually added it via the VirtualBox interface then it’s not a system package so won’t show up via pacman - but if it shows up in VirtualBox then that’s fine.
Seems you’re having a lot of trouble with virtual box. You could also invest that troubleshooting time in familiarizing yourself with virt-manager (in case you are not already familiar with it) and run your machines on QEMU/KVM. You get much better performance and have more control over the exposed hardware as it gets closer to the metal.
I’m saying the part with familiarizing because there is a bit of a learning curve, when coming from vbox. At least I struggled with the transition, but after that I was astonished by the performance difference.
Isn’t the point of this whole exercise the fact that one of the -4 packages isn’t working so you were manually installing all -3 packages. In essence downgrading? So then why update to a broken package? I know nothing about vms sorry.