One advantage of a local repository is that it is more likely to match the software versions on the local machine. However, perhaps the best thing would be to

One advantage of a local repository is that it is more likely to match the software versions on the local machine. However, perhaps the best thing would be to allow both local and remote queries :-)