Thanks for your reply Slaapliedje, and sorry that I haven't seen it before.

I've done what you explained but still no mplayer2 found, either in MeeCatalog or by using the Terminal. There is a meecatalog.list file with the corresponding Packrat repository line, but still no mplayer2 found after apt-get update.

Would there be another way of getting the deb file? Have you saved it somewhere, just in case?