Doc index - proofgeneral-doc Packages contains this documentation Package: proofgeneral-doc apt-get install proofgeneral-doc Documentations in package: proofgeneral proofgeneral-doc Documentation root: https://dweb.link/ipfs/bafybeib7w25flnqzkuswzl6wbm3nsfwuzuprdgdwlvxtrustblizdpysya