coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq list issues

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Coq list issues
Date: Wed, 24 Aug 2016 07:51:41 +0000
Accept-language: de-DE, en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga06.intel.com
Ironport-phdr: 9a23:Hpx86xONIdVPve7HeIgl6mtUPXoX/o7sNwtQ0KIMzox0KPX6rarrMEGX3/hxlliBBdydsKMdzbGL+Pm5ByRAuc/H6yFaNsQUFlcssoY/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbtr8FoOatcmrzef6o8SVOFQRwmHgKuorcl329VyX7ZhOx9M6a+4Y8VjgmjNwYeNYxGdldxq4vi3XwYOOxqNl6DlaoPk79sRNAu3QdqU8SqFEXnx9azhmrJ6jiR6WBwCI/z4XVngcuhtOGQnMqh/gFN+luSzj8+F5xSOyPMvsTLlyVy70vIlxTxq9whwAOjEl6mbPzoRVjalbqR+l7VQrxo/fYIiYMLxlea7SYckdXUJAWNpcU2pKBYbqPNhHNPYIIesN99q1nFAJtxbrXQQ=

Dear Coq list users,

since a week or so I have the impression that the Coq list lags heavily – 4 to 8 hours or even more. E.g. a post I sent yesterday at noon I got back at 6 PM. Also the posts of others I get quite late. Also interesting is that the post I sent yesterday is not yet visible in the online archive, although I got it back from the list server yesterday evening. I used to get my own posts back within 5 minutes or so.

Am I the only one having these problems and do I have to talk to our IT or is this a problem of the list server?

Best regards,

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[Coq-Club] Coq list issues, Soegtrop, Michael, 08/24/2016
- RE: [Coq-Club] Coq list issues, Soegtrop, Michael, 08/24/2016