racket2nix
racket2nix copied to clipboard
Problem: We are using sha1 for the sources
Download the packages and store their sha256.
Maybe solve this by solving #20.