diff options
| author | markuskowa <markus.kowalewski@gmail.com> | 2019-08-10 11:55:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-10 11:55:17 +0200 |
| commit | 732c1671f504f27d04321f0ef9b0198bc586f555 (patch) | |
| tree | 9ba82b7d612faa6fe5c8c3b256e1e9b116d32868 /pkgs/top-level | |
| parent | 496ae0a1d471e41399a77de7f263a37a9adac498 (diff) | |
| parent | f873471bfea44ebdcf2220d1f75aa39f9eb3a7b4 (diff) | |
| download | nixlib-732c1671f504f27d04321f0ef9b0198bc586f555.tar nixlib-732c1671f504f27d04321f0ef9b0198bc586f555.tar.gz nixlib-732c1671f504f27d04321f0ef9b0198bc586f555.tar.bz2 nixlib-732c1671f504f27d04321f0ef9b0198bc586f555.tar.lz nixlib-732c1671f504f27d04321f0ef9b0198bc586f555.tar.xz nixlib-732c1671f504f27d04321f0ef9b0198bc586f555.tar.zst nixlib-732c1671f504f27d04321f0ef9b0198bc586f555.zip | |
Merge pull request #66380 from markuskowa/upd-rdma
rdma-core: 24.0 -> 25.0
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/aliases.nix | 1 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/pkgs/top-level/aliases.nix b/pkgs/top-level/aliases.nix index 7283c2ce534f..0fc785f51c48 100644 --- a/pkgs/top-level/aliases.nix +++ b/pkgs/top-level/aliases.nix @@ -149,6 +149,7 @@ mapAliases ({ htmlTidy = html-tidy; # added 2014-12-06 iana_etc = iana-etc; # added 2017-03-08 idea = jetbrains; # added 2017-04-03 + infiniband-diags = rdma-core; # added 2019-08-09 inotifyTools = inotify-tools; jbuilder = dune; # added 2018-09-09 joseki = apache-jena-fuseki; # added 2016-02-28 diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index c4096f24b5f2..aa4cbe824c81 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -3878,8 +3878,6 @@ in inetutils = callPackage ../tools/networking/inetutils { }; - infiniband-diags = callPackage ../tools/networking/infiniband-diags { }; - inform7 = callPackage ../development/compilers/inform7 { }; infamousPlugins = callPackage ../applications/audio/infamousPlugins { }; |