root/pypi: links for bisneto-mathlib

root/pypi bisneto-mathlib-0.0.3.tar.gz
root/pypi bisneto-mathlib-0.0.2.tar.gz
root/pypi bisneto-mathlib-0.0.1.tar.gz