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

[gallais]

This is because of the introduction of SIZEUNIV, right?[1] The doc
build was failing for a while [2] until I updated the binary used.
Is this worth reporting in the future?

[1] https://github.com/agda/agda-stdlib/compare/1a808ca8d73a...ec72bd9f1b6c
[2] https://travis-ci.org/agda/agda-stdlib/builds/50836171


On 09/03/15 13:07, Andrés Sicard-Ramírez 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.
>
> Thanks,
>