diff options
| author | Paul van der Walt <paul@denknerd.org> | 2015-10-15 17:14:44 +0200 |
|---|---|---|
| committer | Paul van der Walt <paul@denknerd.org> | 2015-10-23 09:10:52 +0200 |
| commit | 600621a182efca965cea18bf869b463f7b40cb29 (patch) | |
| tree | 68c42a79946c06975d6daacab8789252a35cd6dc /gnu/packages/python.scm | |
| parent | 93248cfdd016c36e6acb3575af9da038c4a25cc6 (diff) | |
gnu: Add Idris.
* gnu/packages/haskell.scm (idris): New variable.
Diffstat (limited to 'gnu/packages/python.scm')
0 files changed, 0 insertions, 0 deletions