1 2 3 4 5
{ rev = "af30f3735a5e402509cb14b994576d0ea4799557"; sha256 = "0bc4jykkaf3ggwny17dl5lc12bh92d791w5rx2wd08lrs3a8f701"; revdate = "2019-06-28T20:19:15Z"; }