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