Package: libapron-ocaml-dev
Source: apron
Version: 0.9.10-6
Installed-Size: 23860
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: ia64
Provides: libapron-ocaml-dev-jreg0
Depends: libapron-ocaml-jreg0, ocaml-nox-4.01.0, libapron-dev
Description: abstract interpretation library (OCaml interface)
Homepage: http://apron.cri.ensmp.fr/library/
Description-md5: 52dc917b117486b6313512aa83783679
Tag: devel::lang:ocaml, devel::library, devel::testing-qa, implemented-in::c,
 implemented-in::ocaml, role::devel-lib, use::analysing, use::checking
Section: ocaml
Priority: optional
Filename: pool/main/a/apron/libapron-ocaml-dev_0.9.10-6_ia64.deb
Size: 1621308
MD5sum: 98a7c8c029566d03427ca0bfdd4fc7df
SHA1: 7ad09b02d6f64b328202ec51b764349d743a57d8
SHA256: 4d29a83d2349ed465876a114fe3d96558cdd18791a961d57f4a57f485893e932