On 2019-01-17 10:01, Tobias Hansen wrote: > As far as I can tell tomlib is not in Debian. According to Bill, the latest version of gap-tomlib is in Debian and it passes tests, so I don't know what goes wrong with sagemath.