nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-30 16:10:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
nixpkgs/pkgs/development/lean-modules/mathlib/default.nix
Anthony Wang c676d821db lean4: 4.34.1 -> 4.35.0
2026-10-13 21:14:55 -04:00

2.7 KiB
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink