Even if it is, for whatever reason, not part of the repository you have installed, you can still go on steam’s website and download the package from there… In other words, the worst case scenario is literally the same experience as you would have on windows…