Hello again,

I checked with one of the Systems Management engineers that support the Linux repos.

They say that it may be mid-January to be added to the repo but that is not firm and no specific date is available.

I would recommend check back mid to late January.