nixpkgs-suyu/pkgs/applications/science/logic/lean
2022-01-12 16:25:20 -03:00
..
default.nix lean: 3.37.0 -> 3.38.0 2022-01-12 16:25:20 -03:00