[Agda-dev] Other new branch in the standard library repository: 2.4.2.2

[Ulf Norell]

On Thu, Mar 19, 2015 at 9:02 PM, Andrés Sicard-Ramírez <asr at eafit.edu.co>
wrote:

>
> How can we test in the maintenance branch of Agda all the new stuff in
> the development version (the master branch) of the standard library?


I'm not sure we have to do that. We don't have any(?) users running the
maintenance branch--either you run with master or one of the releases.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150320/01da88c5/attachment.html