>>>>> On Tue, 11 Jul 2023, Andrey Grozin wrote:

> Can somebody please edit the fricas-1.3.9.ebuild - replace the SRC_URI
> by .../${P}-full.tar.bz2 and commit it to the tree?

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4c6412ecf83a0465531c65b115b0e3ff8d875296