coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Is Coq bug tracker down now?

From: Youngju Song <youngju.song AT sf.snu.ac.kr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Is Coq bug tracker down now?
Date: Mon, 21 Aug 2017 19:45:28 +0900
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=youngju.song AT sf.snu.ac.kr; spf=None smtp.mailfrom=youngju.song AT sf.snu.ac.kr; spf=None smtp.helo=postmaster AT mail-it0-f51.google.com
Ironport-phdr: 9a23:UpPj0BPu0FWN/jgIiFol6mtUPXoX/o7sNwtQ0KIMzox0K/r6rarrMEGX3/hxlliBBdydsK0UzbeO+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6a8TWO6msZHQy6Pg5oLMz0HJTThoK5zbOc4ZrWNjRPmTyyY646FxKwok2Fp84Lh4RgN+AqzR3GimBGPf9Q2CVhLhSQhUCvtY+L4Jd//nEI6Loa/MlaXPCicg==

Hi,

I want to report some bugs, but the bug tracker (https://coq.inria.fr/bugs/) seems unreachable for now.

It gives me:
=============================================
Forbidden
You don't have permission to access /bugs/ on this server.
=============================================

Thanks a lot,

Youngju Song

[Coq-Club] Is Coq bug tracker down now?, Youngju Song, 08/21/2017
- Re: [Coq-Club] Is Coq bug tracker down now?, Théo Zimmermann, 08/21/2017