June 2021 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Sat Jun 5 12:38:30 CEST 2021
Ending: Sat Jun 19 08:38:41 CEST 2021
Messages: 2

• [Agda-dev] [Agda] [ANNOUNCE] Agda 2.6.2 release candidate   Jesper Cockx
• [Agda-dev] [ANNOUNCE] Agda 2.6.2   Andrés Sicard-Ramírez

Last message date: Sat Jun 19 08:38:41 CEST 2021
Archived on: Sat Jun 19 08:39:28 CEST 2021

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...