August 2017 Archives by thread

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

Starting: Mon Aug 14 11:40:49 CEST 2017
Ending: Thu Aug 17 21:11:37 CEST 2017
Messages: 6

• [Agda-dev] Contributors for upcoming release of 2.5.3   Andreas Abel
• [Agda-dev] [ANNOUNCE] Agda 2.5.3 release candidate 1   Andrés Sicard-Ramírez
  • [Agda-dev] [ANNOUNCE] Agda 2.5.3 release candidate 1   Andrés Sicard-Ramírez
  • [Agda-dev] [ANNOUNCE] Agda 2.5.3 release candidate 1   David Darais
    • [Agda-dev] [ANNOUNCE] Agda 2.5.3 release candidate 1   Andrés Sicard-Ramírez
      • [Agda-dev] [ANNOUNCE] Agda 2.5.3 release candidate 1   David Darais

Last message date: Thu Aug 17 21:11:37 CEST 2017
Archived on: Thu Aug 17 21:11:39 CEST 2017

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