[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate

[Nils Anders Danielsson]

On 2015-05-20 14:16, Andrés Sicard-Ramírez wrote:
> On 20 May 2015 at 07:07, Sergei Meshveliani <mechvel at botik.ru> wrote:
>> To easily check the Agda version used, one applies the command
>>
>>     agda -V
>>
>> Is there a similar command for the standard library version?
>
> No.

Released versions of the library should contain a version number in
README.agda.

-- 
/NAD