July 2019 Archives by subject

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

Starting: Wed Jul 3 22:33:47 CEST 2019
Ending: Thu Jul 4 21:45:31 CEST 2019
Messages: 2

• [Agda-dev] (Negative) record for compiling Agda from scratch   Andreas Abel
• [Agda-dev] (Negative) record for compiling Agda from scratch   Wolfram Kahl

Last message date: Thu Jul 4 21:45:31 CEST 2019
Archived on: Thu Jul 4 21:45:34 CEST 2019

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