Repository navigation

lazy platform dependencies lazy, drop unused GL registries - #37

Merged

MasonRemaley merged 5 commits into

allyourcodebase:mainfrom

nat3Github:lean2

Oct 12, 2026

Merged

lazy platform dependencies lazy, drop unused GL registries#37
MasonRemaley merged 5 commits into
allyourcodebase:mainfrom
nat3Github:lean2

Commits on Oct 11, 2026
- Make platform dependencies lazy and drop unused GL registries
  
  nat3Github
  authored and
  MasonRemaley
  committed
  ebf150f
- Clean up how lazy dependencies are fetched
  MasonRemaley
  committed
  2dc1cd0
- Formats
  MasonRemaley
  committed
  e09717b
- Update shell.nix and add more info about it, add info about system deps
  MasonRemaley
  committed
  e76d431
- Add missing prefetches
  MasonRemaley
  committed
  79c52ac