August 2020 Archives by thread

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

Starting: Thu Aug 13 22:51:47 CEST 2020
Ending: Sun Aug 16 20:28:18 CEST 2020
Messages: 4

• [Agda-dev] update to Agda.cabal   John Leo
  • [Agda-dev] update to Agda.cabal   John Leo
    • [Agda-dev] update to Agda.cabal   Andreas Abel
  • [Agda-dev] update to Agda.cabal   Andrés Sicard-Ramírez

Last message date: Sun Aug 16 20:28:18 CEST 2020
Archived on: Sun Aug 16 20:29:04 CEST 2020

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