···2929 "2.4.10".sha256 = "sha256-zus5a2nSkT7uBIQcKva+ylw0LOFGTD/j5FPy3hDF4vg=";
3030 # By unofficial and very loose convention we keep the latest version of
3131 # SBCL, and the previous one in case someone quickly needs to roll back.
3232- "2.5.4".sha256 = "sha256-XxS07ZKUKp44dZT6wAC5bbdGfpzlYTBn/8CSPfPsIHI=";
3332 "2.5.5".sha256 = "sha256-ZQJnCvs2G6m+RKL6/pr5tZ57JK5QmnkaZrVIHylVlQs=";
3333+ "2.5.7".sha256 = "sha256-xPr+t5VpnVvP+QhQkazHYtz15V+FI1Yl89eu8SyJ0dM=";
3434 };
3535 # Collection of pre-built SBCL binaries for platforms that need them for
3636 # bootstrapping. Ideally these are to be avoided. If ECL (or any other