According to GOST technical standards, Russian language uses the semicolon to denote time:

Is it correct that Russian officially uses a semicolon (;) to separate time elements, or is this just a translation error?

: (semicolon) for separating the elements of the time of the day (‘day’, ‘minute’, ‘minute and second’);

The example right below it seems to make clear that it's just an error, but then I wondered if the use of a regular colon (:) there was somehow the error instead.