diff options
| author | David Craven <david@craven.ch> | 2017-01-02 18:03:25 +0100 |
|---|---|---|
| committer | David Craven <david@craven.ch> | 2017-01-04 12:11:14 +0100 |
| commit | 4e17fff386070ca39960da7a4b8d2445ccc874ba (patch) | |
| tree | 5ebc714ba51e074a404a2ee3c48509bf520b43ac /m4 | |
| parent | ea3b38f1e14296a421d9df8d6c11c894d631b373 (diff) | |
gnu: Add idris-wl-pprint.
* gnu/packages/idris.scm (idris-wl-pprint): New variable.
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions