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. <ballo...@debian.org> Imagine a large red swirl here.
