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