{
  rev = "43bd8dc437866ce1e6ba8e276af511a9ddebe71d";
  sha256 = "12yqkd9v74y63ag4zb0pp0rf27mzqhcy2px8q398dy4bjlwcjcdk";
  revdate = "2019-10-23T15:21:09Z";
}