Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

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
Task Type Bug Report
Category Packages
Status Closed
Assigned To No-one
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

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
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.
   PKGBUILD.diff (3.6 KiB)

Loading...