February 2021 Archives by subject

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

Starting: Wed Feb 3 18:21:16 CET 2021
Ending: Sun Feb 7 17:00:21 CET 2021
Messages: 2

• [Agda-dev] [ANNOUNCE] Agda 2.6.1.2   Andrés Sicard-Ramírez
• [Agda-dev] [ANNOUNCE] Agda 2.6.1.3   Andrés Sicard-Ramírez

Last message date: Sun Feb 7 17:00:21 CET 2021
Archived on: Sun Feb 7 17:01:02 CET 2021

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