{
  rev = "88d9f776091896cfe57dc6fbdf246e7d27d5f105";
  sha256 = "0z8a0g69fmbbzi77jhvhwafv73dn5fg3gsr0q828lss6j5qpx995";
  revdate = "2019-07-25T10:04:17Z";
}