Dear all, I have finally uploaded GAP 4.13.0 to unstable. This will require to rebuild all the binary GAP packages. Note that with this release they are build against libgap9 and not against the GAP kernel so there will be no more need to Depend on gap-kernel-9 (which is not Provided anyway). Cheers, -- Bill. <ballombe@debian.org> Imagine a large red swirl here.