pyrox.dev / nixpkgs
lol
fork atom
nixpkgs / pkgs / applications / science / logic / lean2 /
at 22.05-pre 1 file
Frederik Rietdijk lean2: stay with python2
7865ac10
default.nix