Hello, Am Wed, Jan 13, 2021 at 11:39:19AM +0100 schrieb Ludovic Courtès: > ISL, MPFI, and GMP-ECM haven’t migrated, it seems. CMH is now at > <https://gitlab.inria.fr/cmh/cmh> but without its tarballs. > > Andreas, do you happen to know about the status of these?
For CMH, the tarballs are available from its (new) homepage: http://www.multiprecision.org/cmh/home.html I can update the location at the next release, which I should prepare some time soon (TM). Concerning MPFI and GMP-ECM, I can ask their respective authors to keep me updated; I have no doubts they are going to migrate their projects. For ISL, I do not know. Andreas