Ubuntu

cvc4 binary package in Ubuntu Groovy s390x

  1. Groovy (20.10)
  2. s390x
  3. cvc4

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2021-12-22 19:51:25 UTC Obsolete Ubuntu Groovy s390x release universe math Optional 1.8-2
  • Removal requested .
  • Published
  • Copied from ubuntu groovy-proposed s390x in Primary Archive for Ubuntu
  Deleted Ubuntu Groovy s390x proposed universe math Optional 1.8-2
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published