tjh.dev / nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
fork atom
nixpkgs / pkgs / by-name / fs / fstar / z3 /
at python-updates 4 files
4-8-5-typos.diff
default.nix
lower-bound-typo.diff
tail-matrix.diff