disciple-cafe  

Messages by Thread

• • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • Re: DDC Build (discus.linux-x86_64.head) success Dirk Ullrich
  • Re: DDC Build (discus.linux-x86_64.head) success Ben Lippmeier
  • Re: DDC Build (discus.linux-x86_64.head) success Ben Lippmeier
  • Re: DDC Build (discus.linux-x86_64.head) success Erik de Castro Lopo
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • DDC Build (discus.linux-x86_64.head) success DDC BuildBot
  • Re: DDC Build (discus.linux-x86_64.head) success Erik de Castro Lopo
  • Re: DDC Build (discus.linux-x86_64.head) success Ben Lippmeier
• patch ddc-head: Merge changes in env library into Poly Ben Lippmeier
• patch ddc-head: Port changes in base to Poly Ben Lippmeier
• patch ddc-head: Comments to base library Ben Lippmeier
• patch ddc-head: Add nnat tactic to normalise naturals Ben Lippmeier
• patch ddc-head: Cleanups Ben Lippmeier
  • patch ddc-head: Cleanups Ben Lippmeier
  • patch ddc-head: Cleanups Ben Lippmeier
• patch ddc-head: Finish Simple without using coversX hack Ben Lippmeier
• patch ddc-head: Update base modules Ben Lippmeier
• patch ddc-head: Drop closedX requirement on subst value/value in Simple proof Ben Lippmeier
• patch ddc-head: Hacks Ben Lippmeier
• DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • Re: DDC Build (deluge.linux-x86.head) success Erik de Castro Lopo
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • DDC Build (deluge.linux-x86.head) success DDC BuildBot
  • Re: DDC Build (deluge.linux-x86.head) success Erik de Castro Lopo

• Later messages