Skip to content
Sections
>> Trisquel >> Paketit >> nabia >> Lähdepaketti >> libdevel >> apron
etiona  ] [  nabia  ]

Source Package: apron (0.9.10-9.1build1)

Links for apron

Trisquel-palvelut:

Ylläpitäjä:

Original Maintainer:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
libapron
runtime libraries for APRON
libapron-dev
abstract interpretation library
libapron-ocaml
runtime libraries for APRON (OCaml interface)
libapron-ocaml-dev
abstract interpretation library (OCaml interface)

Muut pakettiin apron liittyvät paketit

  • 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
    Paketti ei saatavilla
  • 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

TiedostoKoko (kt)MD5-tarkiste
apron_0.9.10-9.1build1.dsc 2.2 kt 28bfa28c3e9c1faf146663600dcf33c2
apron_0.9.10.orig.tar.gz 912.4 kt 17058de80f7352885eb4064585baf873
apron_0.9.10-9.1build1.debian.tar.xz 15.0 kt 03495ee2e574bd02c59fd4b41e6220ad
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/apron.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/apron