1 2 3 4 5
{ rev = "84aca672964e29b5b4503b7da7bc34fc395f08ab"; sha256 = "0qkrdas0xm9hyc4lfwhvnr05pqk9nazc0byzf6ymi9wa2fvxja0j"; revdate = "2019-07-08T18:13:55Z"; }