Sign in
Join now
nixpkgs
pyrox.dev
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
lol
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
pkgs/development/lean-modules/lean4/
default.nix
April 2026
nixpkgs-ci[bot]
9ef44b7c
Copied
Failed
Copy SHA
Merge master into staging-nixos
Copy SHA
Browse repository
committed
7mo ago
nixpkgs-ci[bot]
1d079f8f
Copied
Failed
Copy SHA
Merge master into staging-next
Copy SHA
Browse repository
committed
7mo ago
nixpkgs-ci[bot]
304c5f46
Copied
Failed
Copy SHA
Merge staging-next into staging
Copy SHA
Browse repository
committed
7mo ago
Ryan Lahfa
e6ec796c
Copied
Failed
Copy SHA
leanPackages: own toolchain, lake --packages, Hydra visibility, manual (#505174)
Copy SHA
Browse repository
committed
7mo ago
Nadja Yang
3c2a3b80
Copied
Failed
Copy SHA
leanPackages: structural reimagining — own toolchain, lake --packages, Hydra
visibility
visibility
Copy SHA
Browse repository
committed
7mo ago
