Ubuntu

libssreflect-coq binary package in Ubuntu Jammy amd64

  1. Jammy (22.04)
  2. amd64
  3. libssreflect-coq

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2022-02-10 18:10:09 UTC Deleted Ubuntu Jammy amd64 proposed universe math Optional 1.14.0-3
  • Removed from disk .
  • Removal requested .
  • Deleted by Matthias Klose

    remove NBS binaries

  • Published
  2022-02-06 17:59:20 UTC Superseded Ubuntu Jammy amd64 proposed universe math Optional 1.14.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ssreflect 1.14.0-3 in ubuntu jammy PROPOSED
  • Published
  2022-02-05 19:03:59 UTC Superseded Ubuntu Jammy amd64 proposed universe math Optional 1.14.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ssreflect 1.14.0-2 in ubuntu jammy PROPOSED
  • Published
  2022-02-01 22:24:05 UTC Superseded Ubuntu Jammy amd64 proposed universe math Optional 1.13.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ssreflect 1.14.0-1 in ubuntu jammy PROPOSED
  • Published
  2022-03-03 00:10:08 UTC Deleted Ubuntu Jammy amd64 release universe math Optional 1.13.0-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Colin Watson

    NBS

  • Published
  • Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu
  2022-03-03 00:10:08 UTC Deleted Ubuntu Jammy amd64 proposed universe math Optional 1.13.0-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to jammy

  • Published
  2021-12-15 03:29:45 UTC Superseded Ubuntu Jammy amd64 release universe math Optional 1.12.0-1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of ssreflect 1.13.0-1 in ubuntu jammy PROPOSED
  • Published
  • Copied from ubuntu hirsute-proposed amd64 in Primary Archive for Ubuntu