>=virtual/krb5-0-r1[abi_x86_32(-),abi_x86_64(-)]
