|
devshells
|
Add openssl to idris shell
|
2025-01-08 23:19:42 -05:00 |
|
home-manager
|
Init crash
|
2025-01-09 10:55:14 -05:00 |
|
nixos
|
Init crash
|
2025-01-09 10:55:14 -05:00 |
|
.gitignore
|
Initial commit
|
2024-11-26 08:57:11 +00:00 |
|
flake.lock
|
Add nixos-hardware
|
2025-01-08 23:19:42 -05:00 |
|
flake.nix
|
Init crash
|
2025-01-09 10:55:14 -05:00 |
