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!
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!
FS#34622 - [isl] misses dependency
Attached to Project:
Arch Linux
Opened by Christian Krause (wookietreiber) - Friday, 05 April 2013, 10:14 GMT
Last edited by Allan McRae (Allan) - Friday, 05 April 2013, 12:31 GMT
Opened by Christian Krause (wookietreiber) - Friday, 05 April 2013, 10:14 GMT
Last edited by Allan McRae (Allan) - Friday, 05 April 2013, 12:31 GMT
|
DetailsDescription: summary says it all
$ ldd /usr/lib/libisl.so linux-vdso.so.1 (0x00007fff5c1fe000) libgmp.so.10 => /usr/lib/libgmp.so.10 (0x00007f0bb6518000) libc.so.6 => /usr/lib/libc.so.6 (0x00007f0bb616b000) /usr/lib64/ld-linux-x86-64.so.2 (0x00007f0bb6ad7000) gmp should be listed as dependency. Additional info: $ pacman -Q | grep -w isl isl 0.11.1-1 |
This task depends upon
Closed by Allan McRae (Allan)
Friday, 05 April 2013, 12:31 GMT
Reason for closing: Fixed
Additional comments about closing: 0.11.1-2 in [testing]
Friday, 05 April 2013, 12:31 GMT
Reason for closing: Fixed
Additional comments about closing: 0.11.1-2 in [testing]