diff options
| author | Felix Gruber <felgru@posteo.net> | 2022-10-21 17:31:16 +0000 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2022-10-26 18:09:10 +0300 |
| commit | c07b55eb94f8cfa9d0f56cfd97a16f2f7d842652 (patch) | |
| tree | 5b1824b996286c055586aea8dd661407b76e72d1 /gnu/packages/shells.scm | |
| parent | 7ffb31d27081f5ea59c23a4ca70f510364450e83 (diff) | |
gnu: oil: Update to 0.12.7.
* gnu/packages/shells.scm (oil): Update to 0.12.7.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
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 9791a7dd97..cc34f0a0a0 100644 --- a/gnu/packages/shells.scm +++ b/gnu/packages/shells.scm @@ -849,7 +849,7 @@ Shell (pdksh).") (define-public oil (package (name "oil") - (version "0.12.4") + (version "0.12.7") (source ;; oil's sources contain a modified version of CPython 2.7.13. ;; According to https://www.oilshell.org/blog/2017/05/05.html @@ -862,7 +862,7 @@ Shell (pdksh).") (uri (string-append "https://www.oilshell.org/download/oil-" version ".tar.gz")) (sha256 - (base32 "1ck59fs2mkid4d9fss6kplvv0aiimsr9m3gv75ckivb376sd8pmc")))) + (base32 "02p8w2rpwb8i4lwl2ah5whchn0lihc6hgbmnp0yr0jv4f0r3mgby")))) (build-system gnu-build-system) (arguments (list #:strip-binaries? #f ; strip breaks the binary |