version=4
https://github.com/OCamlPro/alt-ergo/releases .*/archive/([0-9.]*)\.tar\.gz
