Links for vericas
veriCAS-0.0.1001-py3-none-any.whl