Giacomo Leidi skribis: > Since release 0.16.0 the former Oil project has been renamed to > Oils (https://www.oilshell.org/blog/2023/03/rename.html). This patch > deprecates the old oil package in favor of a new oils package updated to > the latest version. Additionally since release 0.21.0 Oils is > completely free from bundled Python code. > > * gnu/packages/shells.scm (oils): New variable; > [source]: Remove mention of bundled Python sources, from release 0.21.0 > it is no more the case; > [phases]: use Oils build system. > (oil): Deprecate in favor of oils. > > Change-Id: I4455ec1e6f4335cc6e67cd8f2c3808e2aef24c4f Applied with the change below, thanks! Ludo'.