Doc index - fricas-doc Packages contains this documentation Package: fricas-doc apt-get install fricas-doc Documentations in package: fricas fricas-doc Documentation root: https://dweb.link/ipfs/bafybeiblm5vgudutrbocsd3upmahm4m73kyy3yasczesg5oteo3zsssrz4