Doc index - gnat Packages contains this documentation Package: gnat apt-get install gnat Manuals in package: gnatkr(1) gnat(1) gnatbind(1) gnathtml(1) gnatchop(1) gnatlink(1) gnatls(1) gnatname(1) gnatprep(1) gnatmake(1) gnatclean(1) Documentations in package: gnat Documentation root: https://dweb.link/ipfs/bafybeieagpspthzxradv2huke3z3hweyu6nurelq44c2fdiq2v2w7ytivu