{
  rev = "ac260f33fa9397d62b4f87a015c6909dd8dfe193";
  sha256 = "019f26kgd84hqabs8q77anzgd2nfzylsj8r076d3myj0b00w02v4";
}