nixos/tests/agda/

nixos/tests/ · 0 packages and modules · 2 open pull requests

Sign in to subscribe

Pull requests 2

agda: make infrastructure aware of Mikan

#572074 by ncfavier · opened 7d ago

treewide: add missing installPhase hooks draft

#333527 by Sigmanificient · opened 2y ago

Closed or merged in the synced window 1

treewide: Add missing "runHook" into installPhase draft

#570188 by KAction · closed 1d ago

Issues 0

None open.