This repo contains binaries from fricas nightly builds.
See https://github.com/fricas/fricas-nightly-builds/releases/tag/nightly
This repo also contains binaries needed by fricas nightly builds.
See https://github.com/fricas/fricas-nightly-builds/releases/tag/build-tools