Skip to content

Comments

nixosTests.agda.base: fix build#459767

Merged
ncfavier merged 1 commit intoNixOS:masterfrom
quantenzitrone:nixosTests.agda
Nov 8, 2025
Merged

nixosTests.agda.base: fix build#459767
ncfavier merged 1 commit intoNixOS:masterfrom
quantenzitrone:nixosTests.agda

Commits

Commits on Nov 8, 2025