coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Where can I download Coq-Club mailing list archives?

From: Sam Kuper <sampablokuper AT posteo.net>
To: ML Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Where can I download Coq-Club mailing list archives?
Date: Fri, 22 May 2020 22:53:05 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sampablokuper AT posteo.net; spf=Pass smtp.mailfrom=sampablokuper AT posteo.net; spf=None smtp.helo=postmaster AT mout02.posteo.de
Ironport-phdr: 9a23:qSuGQBQJztMUHb4Zn4UUt70z3tpsv+yvbD5Q0YIujvd0So/mwa6zYRGN2/xhgRfzUJnB7Loc0qyK6v2mADVbqs/f6jgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrrQjdrNQajZZsJ6o+1xfEo2VEcPlKyG11Il6egwzy7dqq8p559CRQtfMh98peXqj/Yq81U79WAik4Pm4s/MHkugXNQgWJ5nsHT2UZiQFIDBTf7BH7RZj+rC33vfdg1SaAPM32Sbc0WSm+76puVRTlhjsLOyI//WrKkcF7kr5Vrwy9qBx+247UYZ+aNPxifqPGYNgWQXNNUttNWyBdB4+xaYwAAfccPeZDt4nyuUcBrQewCwmrAePg0D5Ihnnr1qE+3OksFQTK0Qo9FNwMrXvUts34OqkSX+6r0afGzjrMYO9L1jrm9IjEbgosre2QUb5sb8bcz1QkGQPfjlWXrIzoJy6b2f4Is2OG6uRgSPqvhHA9qwpspTWv3d0jiozRho0P0V/E8SJ5wIUoJd2gVkF7e8WpEINXtyGBK4t5XMQiT3tuuCkk1r0LoJi2dzUFx5o73RDQceCHc5SW7RL5UuacOTl2iXZ7dbyxhBu/7VStx/HhWsS131tHrTdJn8TCu30P1xLe5caKRud98Eql2DuB2Q7e5v1YLU00i6bXN4Msz7o2m5EOv0rDGSr2l1/3jK+Qbkgk++6o6/7mYrr8vJOcOZV0hhngMqg0lcywHOI1ORUNUWiD4emwyb7u8E3jTLhLjPA6iKfUvZHAKckap6O1GwxY34I55xqiADqr0c4UkWcZIF5ZYh6LkobkN03ILfvlF/mwmU6sny1ux/3ePr3uHJHNLn/bnbfkerZ99lJcxBYtwdxF/5JUDaoBIO7tVU/2rtDXEwE2PxS1w+bhFtp9ypsTVX+MD6KZKq/fsF2F6vghLuSNfoMYuTfwJ+Ag5/H0jH85nVEdfbOu3ZsScH24Be5pI0CBYXX2mdgBFWAKvgkjTOzyllKCSyVeZ261X6In+jE0FoWmAZ3FRo+znLyNxD27EYFOZmBaFlCMFm/leJmDW/cVcS6dPsthkiEfWrW6UI8g1RSutBfgxLZ9L+rU/DcYtZP529Rv6e3Tj0J6yTshKuDV+GaUB0pwg2lAEzQxxeV0pVF34laFy6lxxfJCQ499/fRMBzwzMNb/0vR3EZimQQvEZt6DTFGlX82rGxkpScktzthIZUthTYbxxivf1janVudG34eAA4Y5p+eBhiGgdfY48G7P0ewat3djR8JOMWO8gasmrVrLAJXVnkLfkau2J/1FgHz9sVybxG/Lh3l2FRZqWPyfD2gYfVfbqpL/61+QF+bzW4RiCRNIzIu5EoUPatDtigwWFvLkJciGOSSpnHysCBHOyr7eNIc=

I would be grateful to be able to download the Coq-Club mailing list's
archives, in order to be able to search and browse them offline.
Ideally, the archives would be in mbox or zipped Maildir format.

Unfortunately, I can't seem to find anything like this at either:

- the Coq-Club info page https://sympa.inria.fr/sympa/info/coq-club

- the Coq-Club archive page https://sympa.inria.fr/sympa/arc/coq-club

Do downloadable Coq-Club archives exist?

Thank you!

--
A: When it messes up the order in which people normally read text.
Q: When is top-posting a bad thing?

() ASCII ribbon campaign. Please avoid HTML emails & proprietary
/\ file formats. (Why? See e.g. https://v.gd/jrmGbS ). Thank you.

[Coq-Club] Where can I download Coq-Club mailing list archives?, Sam Kuper, 05/22/2020