diff options
Diffstat (limited to 'third_party/guile/default.nix')
| -rw-r--r-- | third_party/guile/default.nix | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/third_party/guile/default.nix b/third_party/guile/default.nix deleted file mode 100644 index 1fd8535478..0000000000 --- a/third_party/guile/default.nix +++ /dev/null @@ -1,12 +0,0 @@ -# Override Guile to version 3.0.0 -{ depot, ... }: - -depot.third_party.originals.guile.overrideAttrs(old: rec { - name = "guile-${version}"; - version = "3.0.0"; - - src = depot.third_party.fetchurl { - url = "mirror://gnu/guile/${name}.tar.xz"; - sha256 = "0x8ca6q1qdmk29lh12gj6ngvgn7kp79w42rxfgwrpxm9jmjqs4y9"; - }; -}) |