February 2024 Archives by subject

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

Starting: Sun Feb 11 14:51:02 CET 2024
Ending: Wed Feb 28 18:19:41 CET 2024
Messages: 5

• [Agda-dev] [ANN] Agda-2.6.4.3 release candidate 1   Andreas Abel
• [Agda-dev] [ANNOUNCE] Agda 2.6.4.2   Andreas Abel
• [Agda-dev] [ANNOUNCE] Agda 2.6.4.2 release candidate   Andreas Abel
• [Agda-dev] [ANNOUNCE] Agda 2.6.4.2 release candidate 2   Andreas Abel
• [Agda-dev] [ANNOUNCE] Agda 2.6.4.2 retracted   Andreas Abel

Last message date: Wed Feb 28 18:19:41 CET 2024
Archived on: Wed Feb 28 18:19:45 CET 2024

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