BBC article says it's been spent to assemble the current squad.
Rodri - 62.8m
Angelino - 5.3m
Cancelo - 60m
Mahrez - 60m
Laporte - 57m
Bernardo - 43m
Ederson - 34m
Walker - 45m
Mendy - 49m
Gundogan - 20m
Zinchenko - 1.7m
Sane - 37m
Stones - 47.5m
Bravo - 15m
Jesus - 27m
Sterling - 44m
Otamendi - 28m
De Bruyne - 54m
Fernandinho - 30m
Aguero - 38m
Silva - 24m
Foden - Free
I make it £782.3m, so adjusting for argument's sake would leave you between £750-800m, so the way the BBC puts it in the article is false as its under €1bn however you look at it.