diff options
author | Robert Vollmert <rob@vllmrt.net> | 2019-06-13 18:25:30 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-06-17 12:36:13 +0200 |
commit | f434664cc03b5217eacccab36698c8eeb1e7e10f (patch) | |
tree | a8b9103904a6f1bcfee60b207665e616103ff3e0 /gnu/services.scm | |
parent | 73eacca85ec68100e08ab21a3732cabbd77a2dbd (diff) |
gnu: oil-shell: Update to 0.6pre22.
It turns out the currently packaged release fails to build for me.
According to upstream, the 0.6 pre-releases are preferable to
currently packaged 0.5.
gnu/packages/shells.scm (oil-shell): Update to 0.6pre22.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/services.scm')
0 files changed, 0 insertions, 0 deletions