|
custom
|
add(nix): why3 (with provers)
|
2024-10-30 18:21:50 +01:00 |
|
home
|
add(nix): nix-visualize
|
2024-10-30 18:21:51 +01:00 |
|
hosts
|
nix: turn on gc for darwin
|
2024-10-30 18:21:51 +01:00 |
|
layouts
|
ref(nix): use {} instead of {...}: {}
|
2024-10-30 18:21:43 +01:00 |
|
secrets
|
ref(nix): smb age file
|
2024-10-30 18:21:32 +01:00 |
|
flake.lock
|
add(nix): nix-visualize
|
2024-10-30 18:21:51 +01:00 |
|
flake.nix
|
add(nix): nix-visualize
|
2024-10-30 18:21:51 +01:00 |
|
lib.nix
|
add(nix): nix-visualize
|
2024-10-30 18:21:51 +01:00 |
