root/olares3: links for easycrypt

root/olares3 easycrypt-1.0.2.tar.gz
root/olares3 easycrypt-1.0.2-py3-none-any.whl
root/olares3 easycrypt-1.0.1.tar.gz
root/olares3 easycrypt-1.0.1-py3-none-any.whl