loongson/pypi: links for formalsystems

loongson/mirror FormalSystems-0.1.3.tar.gz
loongson/mirror FormalSystems-0.1.2.tar.gz
loongson/mirror FormalSystems-0.1.1.tar.gz