[
  (builtins.hashString "md5" "tvix")
  (builtins.hashString "sha1" "tvix")
  (builtins.hashString "sha256" "tvix")
  (builtins.hashString "sha512" "tvix")
]