1 2 3 4 5
{ rev = "4731977e9b0a55269f299225202006f86c8f1814"; sha256 = "1wgizcz8qca76fgpy6k9ziich2v7d9w3a24zsgb615rvhzvpxihj"; revdate = "2018-12-20T13:19:32Z"; }