That’d be Freddo Pies, they do a Croc Pie and it is average at best. I have had Croc a few times over the years, I’ve even cook it at home on the BBQ a couple of times, but their version is yellow purée, baby food wrapped in pastry.
I have had and enjoyed a few croc pies over the years as well but have never heard of the Freddo ones and judging by your comments i will avoid them like the bubonic plague