November 2022 Archives by date

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

Starting: Sun Nov 6 18:27:05 CET 2022
Ending: Wed Nov 30 00:26:07 CET 2022
Messages: 2

• [Agda-dev] [ANNOUNCE] Agda 2.6.3 release candidate 1   Andrés Sicard-Ramírez
• [Agda-dev] [ANNOUNCE] Agda 2.6.3 release candidate 2   Andrés Sicard-Ramírez

Last message date: Wed Nov 30 00:26:07 CET 2022
Archived on: Wed Nov 30 00:26:45 CET 2022

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