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