whaler@whaler-desktop:~$ sudo apt remove cuda* libcublas* nvidia-cuda*
Reading package lists… Done
Building dependency tree
Reading state information… Done
Note, selecting ‘cuda-libraries-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-curand-cross-aarch64-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-gpu-library-advisor-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cross-aarch64’ for glob ‘cuda*’
Note, selecting ‘cuda-command-line-tools-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-nvprune-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-visual-tools-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-driver-dev-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-command-line-tools-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cudart-cross-armhf-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-visual-tools-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-driver-dev-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-nvgraph-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-driver-cross-armhf-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-runtime-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-runtime-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cusolver-cross-armhf-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-gdb-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-visual-tools-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-curand-dev-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-cupti-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-curand-dev-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-curand-cross-ppc64el-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-libraries-dev-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-curand-dev-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-repo-ubuntu1204’ for glob ‘cuda*’
Note, selecting ‘cuda-nvjpeg-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvrtc-dev-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvml-cross-ppc64el-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-minimal-build-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-drivers’ for glob ‘cuda*’
Note, selecting ‘cuda-cuobjdump-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-nvgraph-dev-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-repo-ubuntu1404’ for glob ‘cuda*’
Note, selecting ‘cuda-repo-ubuntu1410’ for glob ‘cuda*’
Note, selecting ‘cuda-nvml-cross-aarch64-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-nvgraph-dev-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-repo-ubuntu1504’ for glob ‘cuda*’
Note, selecting ‘cuda-nvgraph-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cudart-dev-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-repo-ubuntu1604’ for glob ‘cuda*’
Note, selecting ‘cuda-license-7-5’ for glob ‘cuda*’
Note, selecting ‘cuda-nvgraph-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-libraries-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-cudart-dev-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-npp-cross-armhf-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-runtime-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-license-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-demo-suite-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cusolver-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-license-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-demo-suite-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cusparse-dev-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cusparse-cross-aarch64-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cusparse-dev-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvrtc-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-cusparse-dev-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-nvjpeg-dev-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-samples-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cublas-cross-ppc64el-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cufft-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nsight-systems-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-cusparse-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-samples-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-curand-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cublas-cross-aarch64-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-npp-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-gdb-src-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-repo-ubuntu1604-8-0-local’ for glob ‘cuda*’
Note, selecting ‘cuda-curand-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-gdb-src-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-tools-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvtx-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-cudart-cross-aarch64-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-npp-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cufft-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-nvrtc-cross-aarch64-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cudart-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-license-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvdisasm-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-samples-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-core-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-documentation-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-npp-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cufft-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-nvdisasm-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cusparse-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-core-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-compat-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-minimal-build-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cusparse-cross-ppc64el-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cusparse-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cusolver-dev-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-npp-dev-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-minimal-build-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-npp-cross-ppc64el-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cusolver-dev-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-npp-dev-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-nvcc-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-repo-ubuntu1404-7-5-local’ for glob ‘cuda*’
Note, selecting ‘cuda-nvvp-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvvp-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-tools-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-driver-cross-ppc64el-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-curand-cross-armhf-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-toolkit-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-npp-cross-aarch64-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cupti-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cross-armhf-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-nvgraph-dev-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvtx-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cusparse-cross-armhf-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-driver-cross-aarch64-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cublas-dev-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cudart-cross-ppc64el-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cublas-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-nvrtc-cross-ppc64el-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cudart-dev-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-cublas-dev-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cusolver-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-nvml-dev-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-cublas-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cudart-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cusolver-cross-ppc64el-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cusolver-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cufft-dev-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cudart-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-gdb-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-nvml-dev-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-nvprune-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cufft-dev-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cusolver-cross-aarch64-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-gpu-library-advisor-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvml-dev-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-toolkit-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-misc-headers-cross-armhf-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cufft-cross-ppc64el-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-toolkit-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-core-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-cusolver-dev-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-cufft-cross-aarch64-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-nvrtc-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-repo-ubuntu1604-10-1-local-10.1.168-418.67’ for glob ‘cuda*’
Note, selecting ‘cuda-sanitizer-api-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-compiler-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-demo-suite-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-npp-dev-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-repo-ubuntu1604-9-2-local’ for glob ‘cuda*’
Note, selecting ‘cuda-misc-headers-cross-aarch64-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-nvrtc-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-misc-headers-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-misc-headers-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-compiler-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-nsight-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-curand-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-cublas-cross-armhf-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-command-line-tools-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvgraph-cross-aarch64-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cufft-dev-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvrtc-dev-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-driver-dev-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-repo-ubuntu1504-7-5-local’ for glob ‘cuda*’
Note, selecting ‘cuda-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvrtc-dev-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cross-armhf’ for glob ‘cuda*’
Note, selecting ‘cuda-nsight-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-documentation-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-cross-ppc64el-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-memcheck-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda’ for glob ‘cuda*’
Note, selecting ‘cuda-documentation-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-repo-ubuntu1604-9-2-148-local-patch-1’ for glob ‘cuda*’
Note, selecting ‘cuda-cross-ppc64el’ for glob ‘cuda*’
Note, selecting ‘cuda-cufft-cross-armhf-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-memcheck-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cross-aarch64-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-misc-headers-cross-ppc64el-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-nvcc-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-gdb-src-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-libraries-dev-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-misc-headers-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvprof-9-2’ for glob ‘cuda*’
Note, selecting ‘cuda-cuobjdump-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvgraph-cross-ppc64el-8-0’ for glob ‘cuda*’
Note, selecting ‘cuda-nsight-compute-10-1’ for glob ‘cuda*’
Note, selecting ‘cuda-nvprof-10-1’ for glob ‘cuda*’
Package ‘cuda-license-7-5’ is not installed, so not removed
Package ‘cuda-repo-ubuntu1204’ is not installed, so not removed
Package ‘cuda-repo-ubuntu1404’ is not installed, so not removed
Package ‘cuda-repo-ubuntu1404-7-5-local’ is not installed, so not removed
Package ‘cuda-repo-ubuntu1410’ is not installed, so not removed
Package ‘cuda-repo-ubuntu1504’ is not installed, so not removed
Package ‘cuda-repo-ubuntu1504-7-5-local’ is not installed, so not removed
Package ‘cuda-cudart-cross-aarch64-8-0’ is not installed, so not removed
Package ‘cuda-driver-cross-aarch64-8-0’ is not installed, so not removed
Package ‘cuda-misc-headers-cross-aarch64-8-0’ is not installed, so not removed
Package ‘cuda-nvrtc-cross-aarch64-8-0’ is not installed, so not removed
Package ‘cuda-cusolver-cross-aarch64-8-0’ is not installed, so not removed
Package ‘cuda-cublas-cross-aarch64-8-0’ is not installed, so not removed
Package ‘cuda-cufft-cross-aarch64-8-0’ is not installed, so not removed
Package ‘cuda-curand-cross-aarch64-8-0’ is not installed, so not removed
Package ‘cuda-cusparse-cross-aarch64-8-0’ is not installed, so not removed
Package ‘cuda-npp-cross-aarch64-8-0’ is not installed, so not removed
Package ‘cuda-nvml-cross-aarch64-8-0’ is not installed, so not removed
Package ‘cuda-nvgraph-cross-aarch64-8-0’ is not installed, so not removed
Package ‘cuda-cudart-cross-ppc64el-8-0’ is not installed, so not removed
Package ‘cuda-driver-cross-ppc64el-8-0’ is not installed, so not removed
Package ‘cuda-misc-headers-cross-ppc64el-8-0’ is not installed, so not removed
Package ‘cuda-nvrtc-cross-ppc64el-8-0’ is not installed, so not removed
Package ‘cuda-cusolver-cross-ppc64el-8-0’ is not installed, so not removed
Package ‘cuda-cublas-cross-ppc64el-8-0’ is not installed, so not removed
Package ‘cuda-cufft-cross-ppc64el-8-0’ is not installed, so not removed
Package ‘cuda-curand-cross-ppc64el-8-0’ is not installed, so not removed
Package ‘cuda-cusparse-cross-ppc64el-8-0’ is not installed, so not removed
Package ‘cuda-npp-cross-ppc64el-8-0’ is not installed, so not removed
Package ‘cuda-nvml-cross-ppc64el-8-0’ is not installed, so not removed
Package ‘cuda-nvgraph-cross-ppc64el-8-0’ is not installed, so not removed
Package ‘cuda-cudart-cross-armhf-8-0’ is not installed, so not removed
Package ‘cuda-driver-cross-armhf-8-0’ is not installed, so not removed
Package ‘cuda-misc-headers-cross-armhf-8-0’ is not installed, so not removed
Package ‘cuda-cusolver-cross-armhf-8-0’ is not installed, so not removed
Package ‘cuda-cublas-cross-armhf-8-0’ is not installed, so not removed
Package ‘cuda-cufft-cross-armhf-8-0’ is not installed, so not removed
Package ‘cuda-curand-cross-armhf-8-0’ is not installed, so not removed
Package ‘cuda-cusparse-cross-armhf-8-0’ is not installed, so not removed
Package ‘cuda-npp-cross-armhf-8-0’ is not installed, so not removed
Note, selecting ‘libcublas-dev’ for glob ‘libcublas*’
Note, selecting ‘libcublas10’ for glob ‘libcublas*’
Note, selecting ‘libcublas7.5’ for glob ‘libcublas*’
Note, selecting ‘nvidia-cuda-toolkit’ for glob ‘nvidia-cuda*’
Note, selecting ‘nvidia-cuda-dev’ for glob ‘nvidia-cuda*’
Note, selecting ‘nvidia-cuda-doc’ for glob ‘nvidia-cuda*’
Note, selecting ‘nvidia-cuda-gdb’ for glob ‘nvidia-cuda*’
Package ‘cuda-core-10-1’ is not installed, so not removed
Package ‘cuda-demo-suite-10-1’ is not installed, so not removed
Package ‘cuda-minimal-build-10-1’ is not installed, so not removed
Package ‘cuda-runtime-10-1’ is not installed, so not removed
Package ‘libcublas-dev’ is not installed, so not removed
Package ‘cuda-compat-10-1’ is not installed, so not removed
Package ‘cuda-gdb-src-10-1’ is not installed, so not removed
Package ‘cuda-10-1’ is not installed, so not removed
Package ‘cuda-cross-aarch64-8-0’ is not installed, so not removed
Package ‘cuda-nvml-dev-8-0’ is not installed, so not removed
Package ‘cuda-license-8-0’ is not installed, so not removed
Package ‘cuda-cross-aarch64’ is not installed, so not removed
Package ‘cuda-npp-8-0’ is not installed, so not removed
Package ‘cuda-cublas-8-0’ is not installed, so not removed
Package ‘cuda-runtime-8-0’ is not installed, so not removed
Package ‘cuda-curand-8-0’ is not installed, so not removed
Package ‘cuda-cross-ppc64el-8-0’ is not installed, so not removed
Package ‘cuda-visual-tools-8-0’ is not installed, so not removed
Package ‘cuda-cudart-dev-8-0’ is not installed, so not removed
Package ‘cuda-gdb-src-8-0’ is not installed, so not removed
Package ‘cuda-curand-dev-8-0’ is not installed, so not removed
Package ‘cuda-demo-suite-8-0’ is not installed, so not removed
Package ‘cuda-cross-armhf-8-0’ is not installed, so not removed
Package ‘cuda-cusparse-8-0’ is not installed, so not removed
Package ‘cuda-driver-dev-8-0’ is not installed, so not removed
Package ‘cuda-cusolver-dev-8-0’ is not installed, so not removed
Package ‘cuda-command-line-tools-8-0’ is not installed, so not removed
Package ‘cuda-minimal-build-8-0’ is not installed, so not removed
Package ‘cuda-cusparse-dev-8-0’ is not installed, so not removed
Package ‘cuda-nvgraph-8-0’ is not installed, so not removed
Package ‘cuda-misc-headers-8-0’ is not installed, so not removed
Package ‘cuda-cublas-dev-8-0’ is not installed, so not removed
Package ‘cuda-cross-ppc64el’ is not installed, so not removed
Package ‘cuda-cudart-8-0’ is not installed, so not removed
Package ‘cuda-cusolver-8-0’ is not installed, so not removed
Package ‘cuda-nvrtc-8-0’ is not installed, so not removed
Package ‘cuda-8-0’ is not installed, so not removed
Package ‘cuda-nvrtc-dev-8-0’ is not installed, so not removed
Package ‘cuda-npp-dev-8-0’ is not installed, so not removed
Package ‘cuda-toolkit-8-0’ is not installed, so not removed
Package ‘cuda-cross-armhf’ is not installed, so not removed
Package ‘cuda-cufft-dev-8-0’ is not installed, so not removed
Package ‘cuda-documentation-8-0’ is not installed, so not removed
Package ‘cuda-cufft-8-0’ is not installed, so not removed
Package ‘cuda-core-8-0’ is not installed, so not removed
Package ‘cuda-samples-8-0’ is not installed, so not removed
Package ‘cuda-nvgraph-dev-8-0’ is not installed, so not removed
Package ‘cuda-gdb-src-9-2’ is not installed, so not removed
Package ‘cuda-minimal-build-9-2’ is not installed, so not removed
Package ‘cuda-core-9-2’ is not installed, so not removed
You might want to run ‘apt-get -f install’ to correct these:
The following packages have unmet dependencies:
libnvblas7.5 : Depends: libcublas7.5 (>= 6.5) but it is not going to be installed
E: Unmet dependencies. Try ‘apt-get -f install’ with no packages (or specify a solution).