Package: libapron-ocaml
Source: apron
Version: 0.9.10-6
Installed-Size: 509
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: ia64
Provides: libapron-ocaml-jreg0
Depends: ocaml-base-nox-4.01.0, libapron, libc6.1 (>= 2.2), libgcc1 (>= 1:4.1.1), libgmp10, libmpfr4 (>= 3.1.2), libstdc++6 (>= 4.1.1), libunwind7
Description: runtime libraries for APRON (OCaml interface)
Homepage: http://apron.cri.ensmp.fr/library/
Description-md5: e56fbc04564a444f01cf0e5cec4c9802
Tag: devel::library, devel::testing-qa, implemented-in::c,
 implemented-in::ocaml, role::shared-lib, use::analysing, use::checking
Section: ocaml
Priority: optional
Filename: pool/main/a/apron/libapron-ocaml_0.9.10-6_ia64.deb
Size: 64480
MD5sum: b532eba02c4be4ac3467c59e226a164c
SHA1: 08fd9dc57679f673d37b36b0359ed778ba6804a4
SHA256: 6014a5a1b7853a1305691fa510b769baca9a5d92b05ec13c9b1694bcf520d204