Ubuntu

libwhy3-ocaml-dev-dbgsym binary package in Ubuntu Cosmic armhf

  1. Cosmic (18.10)
  2. armhf
  3. libwhy3-ocaml-dev-dbgsym

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2018-11-11 00:10:09 UTC Deleted Ubuntu Cosmic armhf proposed universe ocaml Optional 1.0.0-2.1~build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to disco-proposed

  • Published
  2018-08-17 08:23:26 UTC Superseded Ubuntu Cosmic armhf proposed universe ocaml Optional 1.0.0-2ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of why3 1.0.0-2.1~build1 in ubuntu cosmic PROPOSED
  • Published
  2018-08-16 19:58:36 UTC Superseded Ubuntu Cosmic armhf proposed universe ocaml Optional 1.0.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of why3 1.0.0-2ubuntu1 in ubuntu cosmic PROPOSED
  • Published
  2018-08-16 18:23:18 UTC Superseded Ubuntu Cosmic armhf proposed universe ocaml Optional 1.0.0-1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of why3 1.0.0-2 in ubuntu cosmic PROPOSED
  • Published