[PATCH] Add dist-f12 to the static repos.