{
  rev = "ccd1586c655c2aebf8877fcfee369f901952aae8";
  sha256 = "11d69vggra8548lw78amlrb4zfp942llg2fj8gyykdg0i8zivx3s";
  revdate = "2019-07-09T07:46:05Z";
}