April 2019 Archives by thread

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

Starting: Mon Apr 1 00:19:32 CEST 2019
Ending: Fri Apr 12 14:40:42 CEST 2019
Messages: 14

• [Agda-dev] [ANNOUNCE] Agda 2.6.0 release candidate 2   Andres Sicard Ramirez
• [Agda-dev] Run the testsuite before pushing to master   Andrea Vezzosi
  • [Agda-dev] Run the testsuite before pushing to master   Andres Sicard Ramirez
  • [Agda-dev] Run the testsuite before pushing to master   Andreas Abel
    • [Agda-dev] Run the testsuite before pushing to master   Andrea Vezzosi
      • [Agda-dev] Run the testsuite before pushing to master   Andreas Abel
      • [Agda-dev] Run the testsuite before pushing to master   Nils Anders Danielsson
      • [Agda-dev] Run the testsuite before pushing to master   Andrea Vezzosi
      • [Agda-dev] Run the testsuite before pushing to master   Nils Anders Danielsson
      • [Agda-dev] Run the testsuite before pushing to master   Andres Sicard Ramirez
      • [Agda-dev] Run the testsuite before pushing to master   Nils Anders Danielsson
      • [Agda-dev] Run the testsuite before pushing to master   Andrea Vezzosi
      • [Agda-dev] Run the testsuite before pushing to master   Nils Anders Danielsson
• [Agda-dev] [ANNOUNCE] Agda 2.6.0   Andres Sicard Ramirez

Last message date: Fri Apr 12 14:40:42 CEST 2019
Archived on: Fri Apr 12 14:40:45 CEST 2019

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