[Agda] Development lib vs 0.17

[Sergei Meshveliani]

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