Package: gap-guava-bin Version: 3.17+ds-2 Severity: normal Dear Debian Science Maintainers,
gap-guava-bin includes the directory /usr/lib/gap/pkg/guava/bin/x86_64-pc-linux-gnu-default64-kv7 but does not depend on gap-kernel-7. 1) As far as I can see, the guava binaries are not linked against the gap-kernel so are independent of it, so the binaries should just go to /usr/lib/gap/pkg/guava/bin/ 2) the new gap kernel 4.12 is gap-kernel-8 and will not find binaries in x86_64-pc-linux-gnu-default64-kv7 3) if for some reason, you really need x86_64-pc-linux-gnu-default64-kvN, you need to depend on gap-kernel-N. Cheers, -- Bill. <[email protected]> Imagine a large red swirl here. -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
