Re: Agda

[Sean Whitton]

Hello,

agda-stdlib has been pushed to collab-maint and is ready for upload.

-- 
Sean Whitton

signature.asc
Description: PGP signature