1 2 3 4 5
{ rev = "d40508331a6bdc5e2d20fa3804cbf40fc028390a"; sha256 = "0qz1r69mh8z76wmgknwx82icaxv1xqwv9k8jvabwy53qsf52df3m"; revdate = "2019-06-24T15:08:21Z"; }