michaelg/dev: links for sequent2
root/pypi
sequent2-0.0.2.tar.gz