/modules/profiles/dev/

• ../
• containers.nix
• default.nix
• gdbinit
• ghci.conf
• pystartup.py
• sql.nix