mir: 2.20.1 -> 2.20.2 (#399737)
Cosima Neidahl 8 months ago f7b20f6d c2d7322e
··· 5 5 in 6 6 { 7 7 mir = common { 8 8 - version = "2.20.1"; 9 9 - hash = "sha256-c+0xMW6GspTpRsPX7D/9mdqHRBRsrcChl6TkFkHT6hg="; 8 8 + version = "2.20.2"; 9 9 + hash = "sha256-kxXPRIvgvpWqos8l/fJyHvfJBNi0jOZfV5inY3SBavM="; 10 10 }; 11 11 12 12 mir_2_15 = common {