I checked installs with proposed enabled.
Now rdma-core is correctly pulled in on installs.
Also as planned, if wanted I can uninstall MLX and get rid of it (dpdk->mlx4|5 is only recommends).
$ sudo apt remove librte-pmd-mlx4-18.11 librte-pmd-mlx5-18.11
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following package was automatically installed and is no longer required:
rdma-core
Use 'sudo apt autoremove' to remove it.
The following packages will be REMOVED:
librte-pmd-mlx4-18.11 librte-pmd-mlx5-18.11
I checked installs with proposed enabled.
Now rdma-core is correctly pulled in on installs.
Also as planned, if wanted I can uninstall MLX and get rid of it (dpdk->mlx4|5 is only recommends).
$ sudo apt remove librte- pmd-mlx4- 18.11 librte- pmd-mlx5- 18.11 pmd-mlx4- 18.11 librte- pmd-mlx5- 18.11
Reading package lists... Done
Building dependency tree
Reading state information... Done
The following package was automatically installed and is no longer required:
rdma-core
Use 'sudo apt autoremove' to remove it.
The following packages will be REMOVED:
librte-