diff options
| author | ajs124 <git@ajs124.de> | 2022-03-31 22:04:49 +0200 |
|---|---|---|
| committer | ajs124 <git@ajs124.de> | 2022-04-03 16:15:00 +0100 |
| commit | 2be6396776a444126796ed8acb6c1c3b2d3e9f51 (patch) | |
| tree | 9af02aaa7c5126eb7f96bbe236b60b7d75cbbc01 /pkgs/data/documentation | |
| parent | c33000fbdd38f337280a05db4674ccaa7c3e5c02 (diff) | |
r3rs: remove after being marked broken for over two years
It was marked in commit d7f3e5a8f0bddc8eaf9e0cffd9183bd28f71e26b by Robin Gloster on 2017-03-29 (commited on 2017-03-30)
Diffstat (limited to 'pkgs/data/documentation')
| -rw-r--r-- | pkgs/data/documentation/rnrs/r3rs.nix | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/pkgs/data/documentation/rnrs/r3rs.nix b/pkgs/data/documentation/rnrs/r3rs.nix deleted file mode 100644 index d252a1680bd71..0000000000000 --- a/pkgs/data/documentation/rnrs/r3rs.nix +++ /dev/null @@ -1,7 +0,0 @@ -{ fetchurl, stdenv, texinfo }: - -import ./common.nix { - inherit fetchurl stdenv texinfo; - revision = 3; - sha256 = "0knrpkr74s8yn4xcqxkqpgxmzdmzrvahh1n1csqc1wwd2rb4vnpr"; -} |