[Agda] email list reference

[Apostolis Xekoukoulotakis]

This link though works :
https://lists.chalmers.se/pipermail/agda/2017/thread.html

So only those pages are inaccessible.

On Fri, Aug 11, 2017 at 7:38 PM, Sergei Meshveliani <mechvel at botik.ru>
wrote:

> On Fri, 2017-08-11 at 13:56 +0200, G. Allais wrote:
> > Hi Sergei,
> >
> > I have added two links with working archives in Community and
> > removed Gmane (it shut down a little while ago).
> >
> > http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Community
> >
> > However there seems to be a problem with mailman at Chalmers, both
> > https://lists.chalmers.se/mailman/listinfo/agda
> > and https://lists.chalmers.se/mailman/listinfo/agda-dev
> > are down
> >
>
> At the main page  http://wiki.portal.chalmers.se/agda/pmwiki.php
> I see now the buttons
>  Main
>  Download
>  ...
>  Report a bug
>
>
> Why not add there a reference to Community, email archive, etc.?
>
> Thanks,
>
> ------
> Sergei
>
> > > I am looking at  http://wiki.portal.chalmers.se/agda/pmwiki.php
> > >
> > > and do not find there a reference to the Agda e-mail list archive.
> > >
> > > Where, please, to find it?
> > >
> > > Thanks,
> > >
> > > ------
> > > Sergei
> > >
> > > _______________________________________________
> > > Agda mailing list
> > > Agda at lists.chalmers.se
> > > https://lists.chalmers.se/mailman/listinfo/agda
> > >
> >
> > _______________________________________________
> > Agda mailing list
> > Agda at lists.chalmers.se
> > https://lists.chalmers.se/mailman/listinfo/agda
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170811/882eb984/attachment.html>