Ubuntu

libssreflect-coq binary package in Ubuntu Disco amd64

  1. Disco (19.04)
  2. amd64
  3. libssreflect-coq

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2019-09-04 00:10:09 UTC Deleted Ubuntu Disco amd64 proposed universe math Optional 1.7.0+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    moved to eoan-proposed

  • Published
  2020-07-14 06:39:25 UTC Obsolete Ubuntu Disco amd64 release universe math Optional 1.6.1-3build1
  • Removal requested .
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu