Manage a few nix packages with nix profile

Christian Rochacommitted parent 57f95253e66a1c5f953f4c5418f0c62c9f7e7f1bfb86d57Browse files
9 files changed+105−245

Rendering diff…