Source Package: apron (0.9.10-5.2)
Links for apron
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [apron.cri.ensmp.fr]
The following binary packages are built from this source package:
- libapron
- runtime libraries for APRON
- libapron-dev
- an abstract interpretation library
- libapron-ocaml
- runtime libraries for APRON (OCaml interface)
- libapron-ocaml-dev
- an abstract interpretation library (OCaml interface)
Other Packages Related to apron
|
|
-
- adep: debhelper (>= 7.0.50~)
- hulptoepassingen voor debian/rules
-
- adep: ocaml-nox (>= 3.11.1-3~)
- ML implementation with a class-based object system (no X)
-
- adep: ocaml-best-compilers
- virtual package provided by ocaml-native-compilers, ocaml-nox
-
- 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
- virtual package provided by libppl0.11-dev
-
- adep: texi2html (>= 1.82)
- Convert Texinfo files to HTML
Download apron
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| apron_0.9.10-5.2.dsc | 2.0 kB | 275cb67d74541f7b177cdf0c7ba3827d |
| apron_0.9.10.orig.tar.gz | 912.4 kB | 17058de80f7352885eb4064585baf873 |
| apron_0.9.10-5.2.debian.tar.gz | 10.5 kB | c6ee5d2defa1673b128f98899a663044 |
- Debian Package Source Repository (VCS: Git)
- git://git.debian.org/git/pkg-ocaml-maint/packages/apron.git
- Debian Package Source Repository (Browsable)
- http://git.debian.org/?p=pkg-ocaml-maint/packages/apron.git