{
  rev = "5e4fdb15304f04132612c3a0c5724ae8ce099201";
  sha256 = "1bbfcgbma2g8yz16yn2l13b9kgpvgc5lz7a8d0sny7smn2kls5zc";
  revdate = "2019-10-07T07:23:00Z";
}