diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2018-03-19 14:21:20 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2018-03-19 14:22:28 +0200 |
| commit | 9760061315e9a8966427b7eb593dcf86e6fec2ca (patch) | |
| tree | 95084bfb14032f739755d14051c9bd3c670f830a /gnu/packages/idris.scm | |
| parent | 32b7ccf9b4c490613395d5f8ad06334c797e47e0 (diff) | |
| download | guix-9760061315e9a8966427b7eb593dcf86e6fec2ca.tar guix-9760061315e9a8966427b7eb593dcf86e6fec2ca.tar.gz | |
gnu: tilda: Update to 1.4.1.
* gnu/packages/terminals.scm (tilda): Update to 1.4.1.
[arguments]: Rename 'autogen phase to 'bootstrap. Clean up 'bootstrap
phase.
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions