From: Ismaël Bouya <ismael.bouya@normalesup.org>
Date: Fri, 29 Jan 2021 20:56:15 +0000 (+0100)
Subject: Update sums after github cache expiration
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=0c67c58418d0b69135109765226e31137bd13c0a;hp=0c67c58418d0b69135109765226e31137bd13c0a;p=perso%2FImmae%2FConfig%2FNix.git

Update sums after github cache expiration
---