Doc index - sollya Packages contains this documentation Package: sollya apt-get install sollya Manuals in package: sollya(1) Documentations in package: sollya Package: sollya-doc apt-get install sollya-doc Documentations in package: sollya-doc sollya Documentation root: https://dweb.link/ipfs/bafybeidtot6knspyiu3y2iwygs5xb54ma32dxd2tdjeu6iflgxhoslj53y