FS#75006 - [ghdl] http://isl.gforge.inria.fr is down
Attached to Project:
Community Packages
Opened by Xeonacid (Xeonacid) - Thursday, 09 June 2022, 08:41 GMT
Last edited by Toolybird (Toolybird) - Tuesday, 19 July 2022, 07:26 GMT
Opened by Xeonacid (Xeonacid) - Thursday, 09 June 2022, 08:41 GMT
Last edited by Toolybird (Toolybird) - Tuesday, 19 July 2022, 07:26 GMT
|
Details
Description:
ping: http://isl.gforge.inria.fr: Name or service not known Please change the source of isl to another one. Thanks. |
This task depends upon
Closed by Toolybird (Toolybird)
Tuesday, 19 July 2022, 07:26 GMT
Reason for closing: Fixed
Additional comments about closing: ghdl 1.0.0-6
Tuesday, 19 July 2022, 07:26 GMT
Reason for closing: Fixed
Additional comments about closing: ghdl 1.0.0-6
Comment by loqs (loqs) - Friday, 10
June 2022, 16:17 GMT
Is it not possible to switch to the package libisl? Run time
depends for libisl is already provide transitively through gcc-ada
similar to mpfr libmpc zlib.