1 2 3 4 5
{ rev = "00ef72610c82dd0ea69f2bc3f70445483acca0d0"; sha256 = "0i4kqf5hx7zgd1cf2sj2zaalf7rmd246l664r2wc26w56ya5z1nv"; revdate = "2019-07-16T12:32:37Z"; }