» Ubuntu » Packages » disco (19.04) » Source » libdevel » apron
xenial  ] [  bionic  ] [  disco  ] [  eoan  ] [  focal  ]

Source Package: apron (0.9.10-9build4) [universe]

Links for apron

Ubuntu Resources:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

The following binary packages are built from this source package:
runtime libraries for APRON
abstract interpretation library
runtime libraries for APRON (OCaml interface)
abstract interpretation library (OCaml interface)

Other Packages Related to apron

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 9)
    helper programs for debian/rules
  • adep: ocaml-nox (>= 3.11.1-3~)
    ML implementation with a class-based object system (no X)
  • adep: ocaml-best-compilers
    Package not available
  • adep: camlidl
    Stub code generator for Objective Caml
  • adep: dh-ocaml (>= 0.9~)
    helper tools for maintaining OCaml-related Debian packages
  • adep: libgmp3-dev
    Multiprecision arithmetic library developers tools
  • adep: libmpfr-dev
    multiple precision floating-point computation developers tools
  • adep: libppl-dev
    Parma Polyhedra Library (development)
  • adep: texi2html (>= 1.82)
    Convert Texinfo files to HTML

Download apron

FileSize (in kB)MD5 checksum
apron_0.9.10-9build4.dsc 2.2 kB 4c321f7bb5e351ad4187d186e7709244
apron_0.9.10.orig.tar.gz 912.4 kB 17058de80f7352885eb4064585baf873
apron_0.9.10-9build4.debian.tar.xz 15.1 kB db56603fb9e99584fe82b4f9ec23926e
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)