[Agda] Development lib vs 0.17

[Matthew Daggitt]

Hi Sergei,
 If you open this as an issue on the standard library issue tracker we'll
try and get a fix pushed through to change the message.
Thanks,
Matthew

On Thu, Dec 6, 2018 at 6:38 PM Sergei Meshveliani <mechvel at botik.ru> wrote:

> Dear Agda team,
>
> Development library of  November 9  and of  December 4, 2018
> both report "Installed lib-0.17".
> But these libraries are very different. For example, the latter has
> Magma, and behaves differently on my application.
> Is it possible for it to issue, say,
> "Development library of <date>" ?
>
> By the way, what is a regular tool to ask for the library version?
>
> Thanks,
>
> -------
> Sergei
>
> _______________________________________________
> 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/20181207/6045cff9/attachment.html>