jp6/cu126: links for runtimeverification-pyk