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=4c6412ecf83a0465531c65b115b0e3ff8d875296Thank you!
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 546 |
Nodes: | 16 (2 / 14) |
Uptime: | 10:34:02 |
Calls: | 10,389 |
Calls today: | 4 |
Files: | 14,061 |
Messages: | 6,416,854 |
Posted today: | 1 |