Code

fix: Windows stage0 linking#6622

Code

Merged

Kha merged 8 commits intomasterleanprover/lean4:masterfrom hbv/fix-winsock-stage0leanprover/lean4:hbv/fix-winsock-stage0Copy head branch name to clipboardJan 14, 2025

+34-27

Commits

Commits on Jan 13, 2025

• fix: Windows stage0 linking

  hargoniX

  committed
  e3ab8f7

  Copy full SHA for e3ab8f7

• chore: next try

  hargoniX

  committed
  a411120

  Copy full SHA for a411120

• chore: restore

  hargoniX

  committed
  79b2379

  Copy full SHA for 79b2379

• chore: next try

  hargoniX

  committed
  a0b000b

  Copy full SHA for a0b000b

• s

  hargoniX

  committed
  e0e8088

  Copy full SHA for e0e8088

• chore: add pkg-config to nix

  hargoniX

  committed
  0100cc9

  Copy full SHA for 0100cc9

• fix nix

  Kha

  authored
  26cf9d2

  Copy full SHA for 26cf9d2

• chore: fix pkgconfig

  hargoniX

  committed
  0f22591

  Copy full SHA for 0f22591