tarball=fricas-VERSION-full.tar.bz2
sha1=6f700b0d544f3eac26dd38304da46f66a6ba3d62
sha256=33201f9f56c20b1266d38f5290efe7486a38422ea90f707f0345f6a589e31c8d
upstream_url=https://github.com/fricas/fricas/releases/download/VERSION/fricas-VERSION-full.tar.bz2
