[libreoffice-users] Bizarre effect of LO 5 ppa on different machines

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?

--
To unsubscribe e-mail to: users+unsubscribe@global.libreoffice.org
Problems? http://www.libreoffice.org/get-help/mailing-lists/how-to-unsubscribe/
Posting guidelines + more: http://wiki.documentfoundation.org/Netiquette
List archive: http://listarchives.libreoffice.org/global/users/
All messages sent to this list will be publicly archived and cannot be deleted