Skip to content

chore: update nix flake#2314

Merged
Alizter merged 1 commit intoHoTT:masterfrom
Alizter:push-kzzoywotyzlm
Sep 19, 2025
Merged

chore: update nix flake#2314
Alizter merged 1 commit intoHoTT:masterfrom
Alizter:push-kzzoywotyzlm

Commits

Commits on Sep 19, 2025