Package: gap-io Version: 4.7.0+ds-2 Severity: important Dear Debian Science team, gap-io depends on gap-kernel-7. This need to be bumped to gap-kernel-8 and rebuild, to work with gap 4.12. Idem for gap-float Thanks in advance, -- Bill. <ballombe at debian.org> Imagine a large red swirl here.