Official PMS for ARMv7, dev2day.de won't receive any more updates for Raspberry Pi

I’ve tried them both since I read that Ziggimon recommended it in an earlier thread seen below.

Yeah, I assumed that you will shut down the repo as it is no longer needed. Out of curiosity uglymagoo, do you have any number of the total users of your repo?