[Agda] Internal error

[Sergei Meshveliani]

On Thu, 2016-10-06 at 22:32 +0400, Sergei Meshveliani wrote:
> [..]
> "Report a bug" does no connect. Neither it works
> https://github.com/agda/agda/issues,
> 
> [..]
> 

It occurs that several pages in Github have been blocked several days
ago for RF users by Russian Federation officials (RosComNadzor)
(they say it is something about inappropriate drug advertisement).
And together with a guilty page(s) there occur blocked some others.  
People write that the guilty page has been removed, and there is a hope
that one day other pages will become accessible.

Regards,

------
Sergei