diff options
| author | David Craven <david@craven.ch> | 2016-12-14 14:42:32 +0100 |
|---|---|---|
| committer | David Craven <david@craven.ch> | 2017-01-04 11:44:07 +0100 |
| commit | c7a7129c5a3c02bd000be73ea7c7c26189c370b7 (patch) | |
| tree | a081a241bee1ea7154461f894657eaff8a02869f /gnu/packages/idris.scm | |
| parent | c0d5b6452bbc063afe3a3b2ddc9c86f1637890df (diff) | |
gnu: idris: Update to 0.99.
* gnu/packages/haskell.scm (idris): Update to 0.99.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions