<div dir="ltr"><div>This link though works : <br><a href="https://lists.chalmers.se/pipermail/agda/2017/thread.html">https://lists.chalmers.se/pipermail/agda/2017/thread.html</a><br><br></div>So only those pages are inaccessible.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Aug 11, 2017 at 7:38 PM, Sergei Meshveliani <span dir="ltr"><<a href="mailto:mechvel@botik.ru" target="_blank">mechvel@botik.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Fri, 2017-08-11 at 13:56 +0200, G. Allais wrote:<br>
> Hi Sergei,<br>
><br>
> I have added two links with working archives in Community and<br>
> removed Gmane (it shut down a little while ago).<br>
><br>
> <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Community" rel="noreferrer" target="_blank">http://wiki.portal.chalmers.<wbr>se/agda/pmwiki.php?n=Main.<wbr>Community</a><br>
><br>
> However there seems to be a problem with mailman at Chalmers, both<br>
> <a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda</a><br>
> and <a href="https://lists.chalmers.se/mailman/listinfo/agda-dev" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda-dev</a><br>
> are down<br>
><br>
<br>
</span>At the main page  <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php" rel="noreferrer" target="_blank">http://wiki.portal.chalmers.<wbr>se/agda/pmwiki.php</a><br>
I see now the buttons<br>
 Main<br>
 Download<br>
 ...<br>
 Report a bug<br>
<br>
<br>
Why not add there a reference to Community, email archive, etc.?<br>
<br>
Thanks,<br>
<br>
------<br>
Sergei<br>
<div class="HOEnZb"><div class="h5"><br>
> > I am looking at  <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php" rel="noreferrer" target="_blank">http://wiki.portal.chalmers.<wbr>se/agda/pmwiki.php</a><br>
> ><br>
> > and do not find there a reference to the Agda e-mail list archive.<br>
> ><br>
> > Where, please, to find it?<br>
> ><br>
> > Thanks,<br>
> ><br>
> > ------<br>
> > Sergei<br>
> ><br>
> > ______________________________<wbr>_________________<br>
> > Agda mailing list<br>
> > <a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
> > <a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda</a><br>
> ><br>
><br>
> ______________________________<wbr>_________________<br>
> Agda mailing list<br>
> <a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
> <a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda</a><br>
<br>
<br>
______________________________<wbr>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br></div>