Doc index - coqide Packages contains this documentation Package: coqide apt-get install coqide Manuals in package: coqide.opt(1) coqide(1) coqide.byte(1) Documentations in package: coqide Documentation root: https://dweb.link/ipfs/bafybeigwfavc5bzqqpqfqgy5gaqdovbcg4rpoxhpigtobsjvinbnhqvcqa