[Agda-dev] Re: New branch in the standard library repository:
2.4.2.3
Andrés Sicard-Ramírez
asr at eafit.edu.co
Mon Mar 9 14:32:14 CET 2015
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
More information about the Agda-dev
mailing list