On Tue, 11 Jul 2023, Ulrich Mueller wrote:
https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4c6412ecf83a0465531c65b115b0e3ff8d875296
Thank you!
Andrey
> 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
signature.asc
Description:
Hello *,
Recently I've committed fricas-1.3.9.ebuild. The SRC_URI has suddenly
changed from .../${P}-full.tar.bz2 (as was the case in all previous
versions) to .../${P}.full.tar.bz2. I was surprised, but, of course, used
this SRC_URI with a dot in the 1.3.9 ebuild. But now the main fricas
aut
