diff options
| author | Vincent Ambo <tazjin@google.com> | 2020-03-01T01·07+0000 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2020-03-01T01·07+0000 |
| commit | 1f5d2d424c94e5c993b47232aff7472fb50d36cb (patch) | |
| tree | 3c71316191fe2aa6316df216f4a925fcb3581359 /third_party/guile/default.nix | |
| parent | 33c2a27d775ab63e9ad239f9058bc8097fbfd445 (diff) | |
chore(third_party): Remove guile 3.0 override r/588
I don't actually use guile at all, this was just for experimentation.
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"; - }; -}) |