]> Git — Sourcephile - julm/julm-nix.git/tree
irssi: join #idris and #plt
-rw-r--r-- 10 .envrc
drwxr-xr-x - .git-crypt
-rw-r--r-- 331 .gitattributes
-rw-r--r-- 31 .gitignore
drwxr-xr-x - .reuse
drwxr-xr-x - LICENSES
-rwxr-xr-x 273 build
-rw-r--r-- 11076 flake.lock
-rw-r--r-- 4000 flake.nix
drwxr-xr-x - home-manager
-rw-r--r-- 509 homes.nix
drwxr-xr-x - homes
drwxr-xr-x - hosts
-rwxr-xr-x 406 install
drwxr-xr-x - nixos
drwxr-xr-x - nixpkgs
drwxr-xr-x - private
-rw-r--r-- 572 shell.nix