diff options
| author | Marius Bakke <marius@gnu.org> | 2020-11-26 23:59:28 +0100 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2020-11-26 23:59:28 +0100 |
| commit | 24c86ad0c05bac966c3f5f3c5f40c6b0945adf09 (patch) | |
| tree | 45160aa4ebe3651a79b5abd76dcefaf8813aa966 /gnu/packages/shells.scm | |
| parent | bff94a5a537c2c484f9f6e98cab75195c3dde9e7 (diff) | |
| parent | 4a914de930a8317cab5bc11bdb608e3a3da3d1ad (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/shells.scm')
| -rw-r--r-- | gnu/packages/shells.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/shells.scm b/gnu/packages/shells.scm index a5f934854b..5b3ae21e0d 100644 --- a/gnu/packages/shells.scm +++ b/gnu/packages/shells.scm @@ -814,14 +814,14 @@ Shell (pdksh).") (define-public oil (package (name "oil") - (version "0.8.4") + (version "0.8.5") (source (origin (method url-fetch) (uri (string-append "https://www.oilshell.org/download/oil-" version ".tar.gz")) (sha256 - (base32 "1gcpf5l6bdjw150ds3j2iws739khxylmz67fx7k1rjfpfij2004l")))) + (base32 "02pw7x76jzfmk8fqs1k0pz7vwnkal458p93j4if0w0hg36xyx1j2")))) (build-system gnu-build-system) (arguments `(#:strip-binaries? #f ; strip breaks the binary |