Replace GNU configure to dune builds system.
Add do-test target.
Submitter takes maintainership.
Update WWW.
Switch to DISTVERSION.
The last update of alt-ergo in ports tree was about 10 years ago, the newest
version requires many new libraries in ports tree.
New ports:
devel/ocaml-dolmen
devel/ocaml-gen
devel/ocaml-hmap
devel/ocaml-linol
devel/ocaml-lsp
devel/ocaml-octavius
devel/ocaml-pp_loc
devel/ocaml-ppx_blob
devel/ocaml-ppx_compare
devel/ocaml-ppx_deriving
devel/ocaml-ppx_hash
devel/ocaml-ppx_js_style
devel/ocaml-ppx_yojson_conv
devel/ocaml-ppx_yojson_conv_lib
devel/ocaml-psmt2-frontend
devel/ocaml-trace
math/ocaml-farith
math/ocaml-ocplib-simplex
textproc/ocaml-spelll
PR: 279337
d9c44a62ac