Doc index - colobot Packages contains this documentation Package: colobot apt-get install colobot Manuals in package: colobot(6) Documentations in package: colobot Package: colobot-dev-doc apt-get install colobot-dev-doc Documentations in package: colobot-dev-doc colobot Documentation root: https://dweb.link/ipfs/bafybeidhgg4vdawugzystjm4xct7puii3axe6fgnvdhc4zbieii2f7qham