Thanks Lucas. I vaguely recall that I did actually package it, but never managed to interest anyone in sponsoring it, and then got bored of trying to do Debian packaging. It looks like there is now a python3-sympy package in Debian, so I think you can close this.