nixpkgs/pkgs/tools/security/tcb/ at 24.05-pre · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / tools / security / tcb /

at 24.05-pre 2 files

tcb: mark as glibc-only

3 years ago

fix-makefiles.patch

tcb: init at 1.2

5 years ago