Re: mail archives are lost

2022-02-21 Thread Torbjörn Granlund
Yes, the archiving function is not yet back.  I will fix that as soon as
I can find the time.

-- 
Torbjörn
Please encrypt, key id 0xC8601622
___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs


Re: mail archives are lost

2022-02-21 Thread Vincent Lefevre
On 2022-02-21 08:50:09 +0100, Paul Zimmermann wrote:
> not sure this is the best place to report. Since November 2021, the
> archives of the GMP mailing lists are no longer available. This is
> a pity since those archives contain a lot of useful information
> (except this mail of course).

Actually that's since the lists were back on mi-January.

For -bugs and -devel, there is still:
  https://www.mail-archive.com/gmp-bugs@gmplib.org/maillist.html
  https://www.mail-archive.com/gmp-devel@gmplib.org/maillist.html

-- 
Vincent Lefèvre  - Web: 
100% accessible validated (X)HTML - Blog: 
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs


Re: mail archives are lost

2022-02-20 Thread Marc Glisse

On Mon, 21 Feb 2022, Marc Glisse wrote:


On Mon, 21 Feb 2022, Paul Zimmermann wrote:


not sure this is the best place to report. Since November 2021, the
archives of the GMP mailing lists are no longer available. This is
a pity since those archives contain a lot of useful information
(except this mail of course).


I just looked randomly and found 
https://gmplib.org/list-archives/gmp-devel/2004-April/000402.html for 
instance. Maybe it reappeared between your email and now?


Ah no sorry, please ignore my message, I misunderstood. It is the recent 
archives that are missing, not the old archives that recently 
disappeared...


--
Marc Glisse
___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs


Re: mail archives are lost

2022-02-20 Thread Marc Glisse

On Mon, 21 Feb 2022, Paul Zimmermann wrote:


not sure this is the best place to report. Since November 2021, the
archives of the GMP mailing lists are no longer available. This is
a pity since those archives contain a lot of useful information
(except this mail of course).


I just looked randomly and found 
https://gmplib.org/list-archives/gmp-devel/2004-April/000402.html for 
instance. Maybe it reappeared between your email and now?


--
Marc Glisse
___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs


mail archives are lost

2022-02-20 Thread Paul Zimmermann
   Hi,

not sure this is the best place to report. Since November 2021, the
archives of the GMP mailing lists are no longer available. This is
a pity since those archives contain a lot of useful information
(except this mail of course).

Best regards,
Paul
___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs