Ubuntu

libwhy-coq binary package in Ubuntu Xenial s390x

  1. Xenial (16.04)
  2. s390x
  3. libwhy-coq

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2016-02-24 06:10:11 UTC Deleted Ubuntu Xenial s390x release universe libdevel Optional 2.34-4ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Matthias Klose

    NBS

  • Published
  • Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu