Ubuntu

libapron-ocaml binary package in Ubuntu Bionic armhf

  1. Bionic (18.04)
  2. armhf
  3. libapron-ocaml

 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 include only the dynamic libraries needed for running dynamic
 bytecode executables.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2018-02-12 22:43:50 UTC Published Ubuntu Bionic armhf release universe ocaml Optional 0.9.10-9build4
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  Deleted Ubuntu Bionic armhf proposed universe ocaml Optional 0.9.10-9build4
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2018-02-12 22:59:53 UTC Superseded Ubuntu Bionic armhf release universe ocaml Optional 0.9.10-9build3
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of apron 0.9.10-9build4 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
  2018-02-14 00:10:10 UTC Deleted Ubuntu Bionic armhf proposed universe ocaml Optional 0.9.10-9build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2017-11-05 02:27:33 UTC Superseded Ubuntu Bionic armhf release universe ocaml Optional 0.9.10-9build2
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of apron 0.9.10-9build3 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu artful-proposed armhf in Primary Archive for Ubuntu

Source package