pyrox.dev / nixpkgs
lol
fork atom
nixpkgs / pkgs / applications / science / logic / lean /
at v206 1 file
Austin Seipp nixpkgs: lean 20150328 -> 20150821
12394653
default.nix