|
custom
|
add(nix): why3 (with provers)
|
2024-10-30 18:21:50 +01:00 |
|
home
|
add(nix): ghc
|
2024-10-30 18:21:50 +01:00 |
|
hosts
|
add(nix): flake registry
|
2024-10-30 18:21:50 +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): prop-solveur
|
2024-10-30 18:21:50 +01:00 |
|
flake.nix
|
add(nix): linode host
|
2024-10-30 18:21:50 +01:00 |
|
lib.nix
|
nix: make abbreviation depend on hostname
|
2024-10-30 18:21:50 +01:00 |
