Doc index - libmumps-headers-dev Packages contains this documentation Package: libmumps-headers-dev apt-get install libmumps-headers-dev Documentations in package: libmumps-headers-dev Documentation root: https://dweb.link/ipfs/bafybeihw2epmwycwaoskld77tgxaihcysyag5kwiyqlntas5jyfegtbitq