1 2 3 4 5
{ rev = "32c1c5cbe0dfef8b3d7ccc575fa3cb2193a020c6"; sha256 = "0h4zvjq7zgv36gn38ka14nvqq8yw79wgd97wwwpiazbyifs75142"; revdate = "2019-07-24T06:25:49Z"; }