diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-08-11 04:56:49 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-08-11 05:02:20 +0200 |
| commit | e83745a958a2bedeb8c6fa73970531f4a6b9b301 (patch) | |
| tree | c5d566256e37a6e5c573744332baf7089c2f4ff0 /gnu/packages/idris.scm | |
| parent | 800248fe59d59af76b6dbcfece7f56a7c3e94804 (diff) | |
| download | patches-e83745a958a2bedeb8c6fa73970531f4a6b9b301.tar patches-e83745a958a2bedeb8c6fa73970531f4a6b9b301.tar.gz | |
gnu: light: Update to 1.1.2.
* gnu/packages/linux.scm (light): Update to 1.1.2.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions