1 2 3 4 5
{ rev = "25c6eaf15e64655385f01cbb98bffe28a862fe13"; sha256 = "1j39al8dnjkbsm68h7c9nf7gm79gf798qqfaks7fq0cphal1gnr0"; revdate = "2019-05-04T12:08:26Z"; }