Ubuntu

libapron binary package in Ubuntu Focal amd64

  1. Focal (20.04)
  2. amd64
  3. libapron

 The APRON library is dedicated to the static analysis of the numerical
 variables of a program by Abstract Interpretation. The aim of such an analysis
 is to infer invariants about these variables. It is intended to be a common
 interface to various underlying libraries/abstract domains and to provide
 additional services that can be implemented independently from the underlying
 library/abstract domain.
 .
 This package contains the shared libraries needed at runtime.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-02-28 03:48:23 UTC Published Ubuntu Focal amd64 release universe libs Optional 0.9.10-9.1build1
  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Focal amd64 proposed universe libs Optional 0.9.10-9.1build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-02-28 03:50:39 UTC Superseded Ubuntu Focal amd64 release universe libs Optional 0.9.10-9.1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of apron 0.9.10-9.1build1 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu eoan-proposed amd64 in Primary Archive for Ubuntu

Source package