4 ms·

Ideally, the operating system's package manager is supposed to solve this. User-installable alternative versions shouldn't be that hard.