Ubuntu

cvc4-dbgsym binary package in Ubuntu Lunar amd64

  1. Lunar (23.04)
  2. amd64
  3. cvc4-dbgsym

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2022-11-18 03:43:29 UTC Published Ubuntu Lunar amd64 release universe math Optional 1.8-3
  • Published
  • Copied from ubuntu lunar-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Lunar amd64 proposed universe math Optional 1.8-3
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2022-11-18 03:44:17 UTC Superseded Ubuntu Lunar amd64 release universe math Optional 1.8-2
  • Removal requested .
  • Superseded by amd64 build of cvc4 1.8-3 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu groovy-proposed amd64 in Primary Archive for Ubuntu

Source package