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 /nixos/packages | |
| parent | ebf34f3fdcd09164293fb4ebf4c17afec0d7e782 (diff) | |
Install idris.
Diffstat (limited to 'nixos/packages')
0 files changed, 0 insertions, 0 deletions