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