3a8031cba4
The galaxy package manager doesn't support skipping updates if the versions are the same, so force is the easiest way