[Agda-dev] New 2.4.2.5 branch in the standard library

[Andrés Sicard-Ramírez]

Hi,

As preparation for releasing Agda 2.4.2.4 I have created the 2.4.2.5
branch in the standard library.

For using the 2.4.2.5 branch of the standard library with the
maintenance branch of Agda, you can use the following command:

  maint$ <pull-the-agda-maintenance-branch>
  maint$ rm -f -r std-lib
  maint$ make up-to-date-std-lib

Best,

-- 
Andrés