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

Andrés Sicard-Ramírez asr at eafit.edu.co
Sat Dec 19 00:47:43 CET 2015


Dear all,

FYI, as preparation for releasing Agda 2.4.2.5, the new version in the
Agda maintenance branch is 2.4.2.6 and I have created the 2.4.2.6
branch in the standard library repository.

Best,

-- 
Andrés


More information about the Agda-dev mailing list