fricas-1.3.12-full.tar.bz2 is a "full" source tarball containing
pregenerated Lisp files and images. You need to install Lisp
compiler before building FriCAS.

FriCAS 1.3.12 should build on Linux and many Unix like systems (for
example Mac OSX and Cygwin).

fricas-1.3.12.amd64.tar.bz2 is 64-bit binary for amd64 (x86_64) Linux.

Linux binary is not specific to any distribution, it should work
equally well on various distributions.

macOS users can install fricas via homebrew: https://formulae.brew.sh/formula/fricas

For installation instructions see:

http://fricas.sourceforge.net/doc/INSTALL-bin.txt

Changes:

• Added Berkowitz algorithm for computing characteristic polynomial
  in general case

• 'rootSplit' and 'rootFactor' now handle nested roots

• Terminal emulator used by FriCAS is now setable via
  environment variables

Bug fixes, in particular:

• Fixed several problems with handling type conditions in HyperDoc

• Fixed coercion from expressions to algebraic numbers

• Fixed arithmetic in FourierSeries