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 /doc | |
| parent | 73eacca85ec68100e08ab21a3732cabbd77a2dbd (diff) | |
| download | patches-f434664cc03b5217eacccab36698c8eeb1e7e10f.tar patches-f434664cc03b5217eacccab36698c8eeb1e7e10f.tar.gz | |
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 'doc')
0 files changed, 0 insertions, 0 deletions