Bizarre effect of LO 5 ppa on different machines

users
#1

I have to machines, both 64 bit, both running Linux Mint 17.2 fully updated.
I have used this code to install LO 5.0:

sudo add-apt-repository ppa:libreoffice/ppa
sudo apt-get update
sudo apt-get dist-upgrade

On one machine, I now have LO 5.0.
On the other, it's still on 4.4.3.2

Can anyone throw any light on this bizarre ocurrence?
Why should one machine get LO 5 and the other not?