diff options
| author | Kjetil Orbekk <kjetil.orbekk@gmail.com> | 2017-02-15 08:06:14 -0500 |
|---|---|---|
| committer | Kjetil Orbekk <kjetil.orbekk@gmail.com> | 2017-02-15 08:06:14 -0500 |
| commit | 98dd190e465e4ecc6a43bdd0268cf563d689170f (patch) | |
| tree | b80e07f771a9a23596aa91485e4258448284b5ef | |
| parent | ebf34f3fdcd09164293fb4ebf4c17afec0d7e782 (diff) | |
Install idris.
| -rw-r--r-- | nixos/configuration.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nixos/configuration.nix b/nixos/configuration.nix index bbbef82..c65ff35 100644 --- a/nixos/configuration.nix +++ b/nixos/configuration.nix @@ -92,6 +92,7 @@ wdfs whois dhcpcd + haskellPackages.idris dnsutils # fonts |