1 2 3 4 5
{ rev = "c4adeddb5f8e945517068968d06ea838b7c24bd3"; sha256 = "1vpm73y7d0j2cviq0cgjwdj64h2v0c349capiyqf5f6071anx7d7"; revdate = "2019-08-31T13:55:18Z"; }