Information: opam package for this development available
Dear ECM Team,
I just wanted to inform you, that I created an opam package for this development which is tested on MacOS (including Apple silicon), many Linux variants and Windows (MinGW with cygwin build host). See (https://github.com/ocaml/opam-repository/pull/20105).
You might want to update your Wiki / Readme to mention the install method with the command opam install gmp-ecm
.
This is a "compile from sources" package. There are also opam packages which use the system package manager to install the system package, but the gmp-ecm package is to old for my needs on some systems. This means that one should update the opam package in case of a new version.
I put in myself in as maintainer of the opam package - please feel free to change this to a member of your team, but I am also fine to maintain the opam package. I would appreciate if you could review the meta information in the package. I should have asked in advance for a review, but I am a bit in a hurry with a release of Coq Platform (of which this package is part now since it is required by Laurent Théry's prime certificate generator for Coq).
Btw.: I called the package "gmp-ecm" because that is what it is called on most systems. I am not sure if there is or should be also a "ecm" package.
Best regards,
Michael