root/pypi: links for infmin

root/pypi infmin-0.1.4.tar.gz
root/pypi infmin-0.1.3.tar.gz
root/pypi infmin-0.1.2.tar.gz