Ubuntu

libwhy-coq binary package in Ubuntu Trusty powerpc

  1. Trusty (14.04)
  2. powerpc
  3. libwhy-coq

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2014-05-01 18:10:10 UTC Deleted Ubuntu Trusty powerpc proposed universe libdevel Optional 2.33-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to utopic-proposed

  • Published
  • Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
  2014-02-20 03:14:07 UTC Superseded Ubuntu Trusty powerpc proposed universe libdevel Optional 2.33-1
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of why 2.33-2 in ubuntu trusty PROPOSED
  • Published
  • Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu