cache/stable: links for lean4check