[Timo Kaufmann]

It looks like the sympow upgrade is finally getting somewhere[1]. Jérôme Benoit made debians de-facto fork official[2]. This will need some patches. Since debian has already updated for a while, I'm assuming you (the debian maintainers) already have a patch for that? Could you point me to that or add the patches directly to the trac ticket[1]?

[1] https://trac.sagemath.org/ticket/3360

[2] https://gitlab.com/rezozer/forks/sympow