1 2 3 4 5
{ rev = "c0a32366cbe6a5467ebf5ecd98de6e21c9867ee7"; sha256 = "0w0i5z8sybf5a7cjlsd47kwl6f6d5y7s3xh80h5p0wi4qamyjljl"; revdate = "2019-07-04T00:42:54Z"; }