December 2019 Archives by date

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

Starting: Tue Dec 3 20:15:27 CET 2019
Ending: Sun Dec 22 12:41:23 CET 2019
Messages: 3

• [Agda-dev] CI now using Github Actions   Andreas Abel
• [Agda-dev] CI now using Github Actions   Liang-Ting Chen
• [Agda-dev] [ANNOUNCE] Agda 2.6.1 release candidate 1   Andres Sicard Ramirez

Last message date: Sun Dec 22 12:41:23 CET 2019
Archived on: Sun Dec 22 12:41:30 CET 2019

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