1 2 3 4 5
{ rev = "bf6d16d48ffeeb0cfe1c725a05823768ea759603"; sha256 = "1g20zv0fb4g05fys622d6abkqywqkzc8xp4x4iw45vm1yyx6bdfa"; revdate = "2019-01-13T08:57:42Z"; }