diff options
| author | David Craven <david@craven.ch> | 2016-12-15 12:35:20 +0100 |
|---|---|---|
| committer | David Craven <david@craven.ch> | 2017-01-04 12:11:14 +0100 |
| commit | ea3b38f1e14296a421d9df8d6c11c894d631b373 (patch) | |
| tree | 3529aadd2e23df58d668e7f5fcb7889f20eae4db /build-aux | |
| parent | ae482ce12d19f7d8d58677a8c56c9581fa1c50fc (diff) | |
gnu: Add idris-lightyear.
* gnu/packages/idris.scm (idris-lightyear, idris-default-arguments):
New variables.
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions