On Mon, Jan 06, 2020 at 06:45:02PM +0100, Kurt Pagani wrote:
> I'm not aware of such plans. Building the package is easy, though, but to get it
> through the Debian mill is time-consuming and tedious, not to speak of
> maintaining it (updates etc.).
>
> If you are interested, I've created deb/ub packages some time ago:
>
http://repos.aisys.ch/apt/ubuntu/pool/main/f/fricas/
> with the method described in
>
https://github.com/nilqed/fricas_docker/tree/master/fpm
>
> Eventually it's matter of trust to get packages from non official sources, of
> cocurse. On the other hand it's really no big deal to compile fricas from
> sources (see the docker file, this could be rewritten to a bash file to fully
> automate the whole process.
> To unsubscribe from this group and stop receiving emails from it, send an email to