Links for sympy-dev