[Agda-dev] Re: New branch in the standard library repository: 2.4.2.3

[Andrés Sicard-Ramírez]

On 9 March 2015 at 08:07, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> Hi,
>
> I just noted that the branch 2.4.2.1 of the standard library doesn't
> compile with the released version of Agda, i.e. Agda 2.4.2.2.
>
> I created the branch 2.4.2.3 in the standard library repository. This
> branch must compile with the maintenance version of Agda.
>
> Please use the branch 2.4.2.3 for new updates to the standard library.

I should mention that in the Agda maintenance branch is necessary to
run the following commands:

  agda-maint $ rm -r -f std-lib/ && make up-to-date-std-lib


-- 
Andrés