Concrete attacks copper pipe, thats what killed the radiant heat
industry for many years in the US.

If the main is copper probably all but the part buried in concrete is
fine.

Dig up and replace just the area thats leaking! The balance of thje
line is probably like new!