Ubuntu

libprocps-dev binary package in Ubuntu Jammy armhf

  1. Jammy (22.04)
  2. armhf
  3. libprocps-dev

 These are the header files for libproc. Some packages using libproc
 to access process information from /proc need these to compile.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2023-11-14 10:29:50 UTC Published Ubuntu Jammy armhf updates main libdevel Optional 2:3.3.17-6ubuntu2.1
  • Published
  • Copied from Primary Archive for Ubuntu
  • Originally built as ubuntu jammy-release armhf in PPA for Ubuntu Security Proposed
  2023-11-14 09:04:18 UTC Published Ubuntu Jammy armhf security main libdevel Optional 2:3.3.17-6ubuntu2.1
  • Published
  • Copied from ubuntu jammy-release armhf in PPA for Ubuntu Security Proposed
  2022-03-10 21:04:05 UTC Published Ubuntu Jammy armhf release main libdevel Optional 2:3.3.17-6ubuntu2
  • Published
  • Copied from ubuntu jammy-proposed armhf in Primary Archive for Ubuntu
  Deleted Ubuntu Jammy armhf proposed main libdevel Optional 2:3.3.17-6ubuntu2
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to jammy

  • Published
  2022-03-10 21:04:10 UTC Superseded Ubuntu Jammy armhf release main libdevel Optional 2:3.3.17-6ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of procps 2:3.3.17-6ubuntu2 in ubuntu jammy PROPOSED
  • Published
  • Copied from ubuntu jammy-proposed armhf in Primary Archive for Ubuntu
  2022-03-12 00:10:09 UTC Deleted Ubuntu Jammy armhf proposed main libdevel Optional 2:3.3.17-6ubuntu1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to jammy

  • Published
  2022-02-24 04:14:31 UTC Superseded Ubuntu Jammy armhf release main libdevel Optional 2:3.3.17-5ubuntu3
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of procps 2:3.3.17-6ubuntu1 in ubuntu jammy PROPOSED
  • Published
  • Copied from ubuntu impish-proposed armhf in Primary Archive for Ubuntu

Source package