About

This package is 1.2 MB. It is available at http://ftp.debian.org/debian/pool/main/a/apron/libapron-ocaml-dev_0.9.10-9+b1_amd64.deb .

View its full control file here: debian/control.

Description

abstract interpretation library (OCaml interface)

Relations

This package depends on: libapron-ocaml-eoxx9, ocaml-nox-4.02.3, libapron-dev.

This package does not recommend any other package.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

libapron-ocaml-dev 0.9.10-9+b1 is in debian - stretch / main. This package's architecture is: amd64.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/lib/ root:root 0o755
/usr/lib/ocaml/ root:root 0o755
/usr/lib/ocaml/apron/ root:root 0o755
/usr/lib/ocaml/apron/abstract0.idl text/x-c root:root 0o644 29.9 KB
/usr/lib/ocaml/apron/abstract1.idl text/x-c root:root 0o644 32.4 KB
/usr/lib/ocaml/apron/apron.a application/x-archive root:root 0o644 420.7 KB
/usr/lib/ocaml/apron/apron.cma application/octet-stream root:root 0o644 388.2 KB
/usr/lib/ocaml/apron/apron.cmi application/octet-stream root:root 0o644 79.1 KB
/usr/lib/ocaml/apron/apron.cmx application/octet-stream root:root 0o644 73.8 KB
/usr/lib/ocaml/apron/apron.cmxa application/octet-stream root:root 0o644 1.4 KB
/usr/lib/ocaml/apron/box.a root:root 0o777
/usr/lib/ocaml/apron/box.cma root:root 0o777
/usr/lib/ocaml/apron/box.cmi application/octet-stream root:root 0o644 1.9 KB
/usr/lib/ocaml/apron/box.cmx application/octet-stream root:root 0o644 1.9 KB
/usr/lib/ocaml/apron/box.cmxa root:root 0o777
/usr/lib/ocaml/apron/boxD.a application/x-archive root:root 0o644 7.4 KB
/usr/lib/ocaml/apron/boxD.cma application/octet-stream root:root 0o644 6.5 KB
/usr/lib/ocaml/apron/boxD.cmxa application/octet-stream root:root 0o644 763 bytes
/usr/lib/ocaml/apron/box.idl text/x-ruby root:root 0o644 4.2 KB
/usr/lib/ocaml/apron/box.ml text/x-ruby root:root 0o644 1.5 KB
/usr/lib/ocaml/apron/box.mli text/x-ruby root:root 0o644 2.8 KB
/usr/lib/ocaml/apron/boxMPFR.a application/x-archive root:root 0o644 7.4 KB
/usr/lib/ocaml/apron/boxMPFR.cma application/octet-stream root:root 0o644 6.5 KB
/usr/lib/ocaml/apron/boxMPFR.cmxa application/octet-stream root:root 0o644 769 bytes
/usr/lib/ocaml/apron/boxMPQ.a application/x-archive root:root 0o644 7.4 KB
/usr/lib/ocaml/apron/boxMPQ.cma application/octet-stream root:root 0o644 6.5 KB
/usr/lib/ocaml/apron/boxMPQ.cmxa application/octet-stream root:root 0o644 767 bytes
/usr/lib/ocaml/apron/coeff.idl text/x-c root:root 0o644 4.7 KB
/usr/lib/ocaml/apron/dim.idl text/x-c root:root 0o644 3.3 KB
/usr/lib/ocaml/apron/environment.idl text/x-c root:root 0o644 10.9 KB
/usr/lib/ocaml/apron/generator0.idl text/x-c root:root 0o644 1.8 KB
/usr/lib/ocaml/apron/generator1.idl text/x-c root:root 0o644 9.2 KB
/usr/lib/ocaml/apron/gmp.a application/x-archive root:root 0o644 145.8 KB
/usr/lib/ocaml/apron/gmp.cma application/octet-stream root:root 0o644 142.8 KB
/usr/lib/ocaml/apron/gmp.cmxa application/octet-stream root:root 0o644 3.1 KB
/usr/lib/ocaml/apron/gmp_random.cmi application/octet-stream root:root 0o644 2.0 KB
/usr/lib/ocaml/apron/gmp_random.cmx application/octet-stream root:root 0o644 455 bytes
/usr/lib/ocaml/apron/gmp_random.idl text/x-c root:root 0o644 2.6 KB
/usr/lib/ocaml/apron/gmp_random.mli text/x-ruby root:root 0o644 1.9 KB
/usr/lib/ocaml/apron/interval.idl text/x-c root:root 0o644 4.7 KB
/usr/lib/ocaml/apron/libap_pkgrid.a application/x-archive root:root 0o644 6.4 KB
/usr/lib/ocaml/apron/libap_pkgrid_debug.a application/x-archive root:root 0o644 8.2 KB
/usr/lib/ocaml/apron/libap_ppl.a application/x-archive root:root 0o644 269.9 KB
/usr/lib/ocaml/apron/libap_ppl_caml.a application/x-archive root:root 0o644 2.4 KB
/usr/lib/ocaml/apron/libap_ppl_caml_debug.a application/x-archive root:root 0o644 2.7 KB
/usr/lib/ocaml/apron/libap_ppl_debug.a application/x-archive root:root 0o644 1.3 MB
/usr/lib/ocaml/apron/libapron.a application/x-archive root:root 0o644 1.2 MB
/usr/lib/ocaml/apron/libapron_caml.a application/x-archive root:root 0o644 186.8 KB
/usr/lib/ocaml/apron/libapron_caml_debug.a application/x-archive root:root 0o644 226.4 KB
/usr/lib/ocaml/apron/libapron_debug.a application/x-archive root:root 0o644 1.4 MB
/usr/lib/ocaml/apron/libboxD.a application/x-archive root:root 0o644 54.1 KB
/usr/lib/ocaml/apron/libboxD_caml.a application/x-archive root:root 0o644 1.7 KB
/usr/lib/ocaml/apron/libboxD_caml_debug.a application/x-archive root:root 0o644 2.2 KB
/usr/lib/ocaml/apron/libboxD_debug.a application/x-archive root:root 0o644 78.2 KB
/usr/lib/ocaml/apron/libboxMPFR.a application/x-archive root:root 0o644 59.9 KB
/usr/lib/ocaml/apron/libboxMPFR_caml.a application/x-archive root:root 0o644 1.7 KB
/usr/lib/ocaml/apron/libboxMPFR_caml_debug.a application/x-archive root:root 0o644 2.2 KB
/usr/lib/ocaml/apron/libboxMPFR_debug.a application/x-archive root:root 0o644 81.0 KB
/usr/lib/ocaml/apron/libboxMPQ.a application/x-archive root:root 0o644 60.9 KB
/usr/lib/ocaml/apron/libboxMPQ_caml.a application/x-archive root:root 0o644 1.7 KB
/usr/lib/ocaml/apron/libboxMPQ_caml_debug.a application/x-archive root:root 0o644 2.2 KB
/usr/lib/ocaml/apron/libboxMPQ_debug.a application/x-archive root:root 0o644 82.0 KB
/usr/lib/ocaml/apron/libgmp_caml.a application/x-archive root:root 0o644 146.9 KB
/usr/lib/ocaml/apron/libitv.a application/x-archive root:root 0o644 908.0 KB
/usr/lib/ocaml/apron/libitvD.a application/x-archive root:root 0o644 86.8 KB
/usr/lib/ocaml/apron/libitvD_debug.a application/x-archive root:root 0o644 118.7 KB
/usr/lib/ocaml/apron/libitv_debug.a application/x-archive root:root 0o644 1013.2 KB
/usr/lib/ocaml/apron/libitvIl.a application/x-archive root:root 0o644 92.7 KB
/usr/lib/ocaml/apron/libitvIl_debug.a application/x-archive root:root 0o644 120.7 KB
/usr/lib/ocaml/apron/libitvIll.a application/x-archive root:root 0o644 92.9 KB
/usr/lib/ocaml/apron/libitvIll_debug.a application/x-archive root:root 0o644 120.9 KB
/usr/lib/ocaml/apron/libitvMPFR.a application/x-archive root:root 0o644 115.1 KB
/usr/lib/ocaml/apron/libitvMPFR_debug.a application/x-archive root:root 0o644 124.7 KB
/usr/lib/ocaml/apron/libitvMPQ.a application/x-archive root:root 0o644 124.7 KB
/usr/lib/ocaml/apron/libitvMPQ_debug.a application/x-archive root:root 0o644 129.8 KB
/usr/lib/ocaml/apron/libitvMPZ.a application/x-archive root:root 0o644 115.2 KB
/usr/lib/ocaml/apron/libitvMPZ_debug.a application/x-archive root:root 0o644 125.1 KB
/usr/lib/ocaml/apron/libitvRl.a application/x-archive root:root 0o644 140.6 KB
/usr/lib/ocaml/apron/libitvRl_debug.a application/x-archive root:root 0o644 137.0 KB
/usr/lib/ocaml/apron/libitvRll.a application/x-archive root:root 0o644 140.8 KB
/usr/lib/ocaml/apron/libitvRll_debug.a application/x-archive root:root 0o644 137.2 KB
/usr/lib/ocaml/apron/liboctD.a application/x-archive root:root 0o644 156.9 KB
/usr/lib/ocaml/apron/liboctD_caml.a application/x-archive root:root 0o644 6.3 KB
/usr/lib/ocaml/apron/liboctD_caml_debug.a application/x-archive root:root 0o644 7.3 KB
/usr/lib/ocaml/apron/liboctD_debug.a application/x-archive root:root 0o644 157.0 KB
/usr/lib/ocaml/apron/liboctMPQ.a application/x-archive root:root 0o644 206.8 KB
/usr/lib/ocaml/apron/liboctMPQ_caml.a application/x-archive root:root 0o644 6.3 KB
/usr/lib/ocaml/apron/liboctMPQ_caml_debug.a application/x-archive root:root 0o644 7.3 KB
/usr/lib/ocaml/apron/liboctMPQ_debug.a application/x-archive root:root 0o644 222.1 KB
/usr/lib/ocaml/apron/libpolkaGrid_caml.a application/x-archive root:root 0o644 4.7 KB
/usr/lib/ocaml/apron/libpolkaGrid_caml_debug.a application/x-archive root:root 0o644 6.0 KB
/usr/lib/ocaml/apron/libpolkaMPQ.a application/x-archive root:root 0o644 227.3 KB
/usr/lib/ocaml/apron/libpolkaMPQ_caml.a application/x-archive root:root 0o644 4.7 KB
/usr/lib/ocaml/apron/libpolkaMPQ_caml_debug.a application/x-archive root:root 0o644 5.3 KB
/usr/lib/ocaml/apron/libpolkaMPQ_debug.a application/x-archive root:root 0o644 285.3 KB
/usr/lib/ocaml/apron/libpolkaRll.a application/x-archive root:root 0o644 218.4 KB
/usr/lib/ocaml/apron/libpolkaRll_caml.a application/x-archive root:root 0o644 4.7 KB
/usr/lib/ocaml/apron/libpolkaRll_caml_debug.a application/x-archive root:root 0o644 5.3 KB
/usr/lib/ocaml/apron/libpolkaRll_debug.a application/x-archive root:root 0o644 286.9 KB
/usr/lib/ocaml/apron/lincons0.idl text/x-c root:root 0o644 3.9 KB
/usr/lib/ocaml/apron/lincons1.idl text/x-c root:root 0o644 10.4 KB
/usr/lib/ocaml/apron/linexpr0.idl text/x-c root:root 0o644 6.8 KB
/usr/lib/ocaml/apron/linexpr1.idl text/x-c root:root 0o644 5.4 KB
/usr/lib/ocaml/apron/manager.idl text/x-c root:root 0o644 10.4 KB
/usr/lib/ocaml/apron/mpf.cmi application/octet-stream root:root 0o644 8.6 KB
/usr/lib/ocaml/apron/mpf.cmx application/octet-stream root:root 0o644 2.1 KB
/usr/lib/ocaml/apron/mpf.idl text/x-c root:root 0o644 7.7 KB
/usr/lib/ocaml/apron/mpf.mli text/plain root:root 0o644 6.2 KB
/usr/lib/ocaml/apron/mpfr.cmi application/octet-stream root:root 0o644 23.8 KB
/usr/lib/ocaml/apron/mpfr.cmx application/octet-stream root:root 0o644 3.3 KB
/usr/lib/ocaml/apron/mpfrf.cmi application/octet-stream root:root 0o644 4.9 KB
/usr/lib/ocaml/apron/mpfrf.cmx application/octet-stream root:root 0o644 6.5 KB
/usr/lib/ocaml/apron/mpfrf.mli text/plain root:root 0o644 3.1 KB
/usr/lib/ocaml/apron/mpfr.idl text/x-c root:root 0o644 14.7 KB
/usr/lib/ocaml/apron/mpfr.mli text/plain root:root 0o644 13.1 KB
/usr/lib/ocaml/apron/mpq.cmi application/octet-stream root:root 0o644 5.2 KB
/usr/lib/ocaml/apron/mpq.cmx application/octet-stream root:root 0o644 1.7 KB
/usr/lib/ocaml/apron/mpqf.cmi application/octet-stream root:root 0o644 2.8 KB
/usr/lib/ocaml/apron/mpqf.cmx application/octet-stream root:root 0o644 3.5 KB
/usr/lib/ocaml/apron/mpqf.mli text/plain root:root 0o644 2.5 KB
/usr/lib/ocaml/apron/mpq.idl text/x-c root:root 0o644 5.8 KB
/usr/lib/ocaml/apron/mpq.mli text/plain root:root 0o644 4.1 KB
/usr/lib/ocaml/apron/mpz.cmi application/octet-stream root:root 0o644 20.3 KB
/usr/lib/ocaml/apron/mpz.cmx application/octet-stream root:root 0o644 1.8 KB
/usr/lib/ocaml/apron/mpzf.cmi application/octet-stream root:root 0o644 3.2 KB
/usr/lib/ocaml/apron/mpzf.cmx application/octet-stream root:root 0o644 4.2 KB
/usr/lib/ocaml/apron/mpzf.mli text/plain root:root 0o644 2.5 KB
/usr/lib/ocaml/apron/mpz.idl text/x-c root:root 0o644 15.2 KB
/usr/lib/ocaml/apron/mpz.mli text/plain root:root 0o644 13.1 KB
/usr/lib/ocaml/apron/oct.a application/x-archive root:root 0o644 8.0 KB
/usr/lib/ocaml/apron/oct.cma application/octet-stream root:root 0o644 8.9 KB
/usr/lib/ocaml/apron/oct.cmi application/octet-stream root:root 0o644 3.8 KB
/usr/lib/ocaml/apron/oct.cmx application/octet-stream root:root 0o644 1.9 KB
/usr/lib/ocaml/apron/oct.cmxa application/octet-stream root:root 0o644 767 bytes
/usr/lib/ocaml/apron/octD.a application/x-archive root:root 0o644 8.0 KB
/usr/lib/ocaml/apron/octD.cma application/octet-stream root:root 0o644 8.9 KB
/usr/lib/ocaml/apron/octD.cmxa application/octet-stream root:root 0o644 763 bytes
/usr/lib/ocaml/apron/oct.idl text/x-ruby root:root 0o644 6.5 KB
/usr/lib/ocaml/apron/oct.mli text/x-ruby root:root 0o644 4.2 KB
/usr/lib/ocaml/apron/octMPQ.a application/x-archive root:root 0o644 8.0 KB
/usr/lib/ocaml/apron/octMPQ.cma application/octet-stream root:root 0o644 8.9 KB
/usr/lib/ocaml/apron/octMPQ.cmxa application/octet-stream root:root 0o644 767 bytes
/usr/lib/ocaml/apron/polka.a root:root 0o777
/usr/lib/ocaml/apron/polka.cma root:root 0o777
/usr/lib/ocaml/apron/polka.cmi application/octet-stream root:root 0o644 7.2 KB
/usr/lib/ocaml/apron/polka.cmx application/octet-stream root:root 0o644 6.7 KB
/usr/lib/ocaml/apron/polka.cmxa root:root 0o777
/usr/lib/ocaml/apron/polkaGrid.a application/x-archive root:root 0o644 9.5 KB
/usr/lib/ocaml/apron/polkaGrid.cma application/octet-stream root:root 0o644 8.5 KB
/usr/lib/ocaml/apron/polkaGrid.cmi application/octet-stream root:root 0o644 3.3 KB
/usr/lib/ocaml/apron/polkaGrid.cmx application/octet-stream root:root 0o644 2.7 KB
/usr/lib/ocaml/apron/polkaGrid.cmxa application/octet-stream root:root 0o644 841 bytes
/usr/lib/ocaml/apron/polkaGrid.ml text/x-ruby root:root 0o644 2.1 KB
/usr/lib/ocaml/apron/polkaGrid.mli text/x-ruby root:root 0o644 3.9 KB
/usr/lib/ocaml/apron/polka.idl text/x-ruby root:root 0o644 12.4 KB
/usr/lib/ocaml/apron/polka.ml text/x-ruby root:root 0o644 7.2 KB
/usr/lib/ocaml/apron/polka.mli text/x-ruby root:root 0o644 6.7 KB
/usr/lib/ocaml/apron/polkaMPQ.a application/x-archive root:root 0o644 26.1 KB
/usr/lib/ocaml/apron/polkaMPQ.cma application/octet-stream root:root 0o644 23.8 KB
/usr/lib/ocaml/apron/polkaMPQ.cmxa application/octet-stream root:root 0o644 775 bytes
/usr/lib/ocaml/apron/polkaRll.a application/x-archive root:root 0o644 26.1 KB
/usr/lib/ocaml/apron/polkaRll.cma application/octet-stream root:root 0o644 23.8 KB
/usr/lib/ocaml/apron/polkaRll.cmxa application/octet-stream root:root 0o644 775 bytes
/usr/lib/ocaml/apron/ppl.a application/x-archive root:root 0o644 25.0 KB
/usr/lib/ocaml/apron/ppl.cma application/octet-stream root:root 0o644 22.4 KB
/usr/lib/ocaml/apron/ppl.cmi application/octet-stream root:root 0o644 6.3 KB
/usr/lib/ocaml/apron/ppl.cmxa application/octet-stream root:root 0o644 807 bytes
/usr/lib/ocaml/apron/ppl.idl text/x-ruby root:root 0o644 11.9 KB
/usr/lib/ocaml/apron/scalar.idl text/x-c root:root 0o644 7.2 KB
/usr/lib/ocaml/apron/tcons0.idl text/x-c root:root 0o644 3.9 KB
/usr/lib/ocaml/apron/tcons1.idl text/x-c root:root 0o644 7.3 KB
/usr/lib/ocaml/apron/texpr0.idl text/x-c root:root 0o644 12.5 KB
/usr/lib/ocaml/apron/texpr1.idl text/x-c root:root 0o644 13.4 KB
/usr/lib/ocaml/apron/var.idl text/x-c root:root 0o644 1.1 KB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc-base/ root:root 0o755
/usr/share/doc-base/apron-ocaml text/plain root:root 0o644 243 bytes
/usr/share/doc/libapron-ocaml-dev/ root:root 0o755
/usr/share/doc/libapron-ocaml-dev/changelog.Debian.amd64.gz application/gzip root:root 0o644 222 bytes
/usr/share/doc/libapron-ocaml-dev/changelog.Debian.gz application/gzip root:root 0o644 1.4 KB
/usr/share/doc/libapron-ocaml-dev/changelog.gz application/gzip root:root 0o644 3.3 KB
/usr/share/doc/libapron-ocaml-dev/copyright text/plain root:root 0o644 2.3 KB
/usr/share/doc/libapron-ocaml-dev/examples/ root:root 0o755
/usr/share/doc/libapron-ocaml-dev/examples/Makefile text/x-makefile root:root 0o644 2.2 KB
/usr/share/doc/libapron-ocaml-dev/examples/mlexample1.ml text/plain root:root 0o644 5.2 KB
/usr/share/doc/libapron-ocaml-dev/examples/mlexample2.ml text/plain root:root 0o644 5.5 KB
/usr/share/doc/libapron-ocaml-dev/examples/mlexample3.ml text/plain root:root 0o644 6.1 KB
/usr/share/doc/libapron-ocaml-dev/examples/README text/plain root:root 0o644 508 bytes
/usr/share/doc/libapron-ocaml-dev/html/ root:root 0o755
/usr/share/doc/libapron-ocaml-dev/html/Abstract0.html text/html root:root 0o644 35.1 KB
/usr/share/doc/libapron-ocaml-dev/html/Abstract1.html text/html root:root 0o644 37.9 KB
/usr/share/doc/libapron-ocaml-dev/html/Box.Abstract0.html text/html root:root 0o644 3.8 KB
/usr/share/doc/libapron-ocaml-dev/html/Box.Abstract1.html text/html root:root 0o644 3.8 KB
/usr/share/doc/libapron-ocaml-dev/html/Box.html text/html root:root 0o644 7.4 KB
/usr/share/doc/libapron-ocaml-dev/html/Coeff.html text/html root:root 0o644 9.8 KB
/usr/share/doc/libapron-ocaml-dev/html/Dim.html text/html root:root 0o644 8.5 KB
/usr/share/doc/libapron-ocaml-dev/html/Environment.html text/html root:root 0o644 12.7 KB
/usr/share/doc/libapron-ocaml-dev/html/Generator0.html text/html root:root 0o644 6.4 KB
/usr/share/doc/libapron-ocaml-dev/html/Generator1.html text/html root:root 0o644 13.9 KB
/usr/share/doc/libapron-ocaml-dev/html/Gmp_random.html text/html root:root 0o644 6.9 KB
/usr/share/doc/libapron-ocaml-dev/html/Gmp_random.Mpf.html text/html root:root 0o644 3.3 KB
/usr/share/doc/libapron-ocaml-dev/html/Gmp_random.Mpfr.html text/html root:root 0o644 3.2 KB
/usr/share/doc/libapron-ocaml-dev/html/Gmp_random.Mpz.html text/html root:root 0o644 3.6 KB
/usr/share/doc/libapron-ocaml-dev/html/index_attributes.html text/html root:root 0o644 2.5 KB
/usr/share/doc/libapron-ocaml-dev/html/index_classes.html text/html root:root 0o644 2.5 KB
/usr/share/doc/libapron-ocaml-dev/html/index_class_types.html text/html root:root 0o644 2.5 KB
/usr/share/doc/libapron-ocaml-dev/html/index_exceptions.html text/html root:root 0o644 2.9 KB
/usr/share/doc/libapron-ocaml-dev/html/index_extensions.html text/html root:root 0o644 2.5 KB
/usr/share/doc/libapron-ocaml-dev/html/index.html text/html root:root 0o644 7.9 KB
/usr/share/doc/libapron-ocaml-dev/html/index_methods.html text/html root:root 0o644 2.5 KB
/usr/share/doc/libapron-ocaml-dev/html/index_modules.html text/html root:root 0o644 8.5 KB
/usr/share/doc/libapron-ocaml-dev/html/index_module_types.html text/html root:root 0o644 2.5 KB
/usr/share/doc/libapron-ocaml-dev/html/index_types.html text/html root:root 0o644 11.8 KB
/usr/share/doc/libapron-ocaml-dev/html/index_values.html text/html root:root 0o644 156.9 KB
/usr/share/doc/libapron-ocaml-dev/html/Interval.html text/html root:root 0o644 9.5 KB
/usr/share/doc/libapron-ocaml-dev/html/Introduction.html text/html root:root 0o644 137.3 KB
/usr/share/doc/libapron-ocaml-dev/html/Lincons0.html text/html root:root 0o644 6.4 KB
/usr/share/doc/libapron-ocaml-dev/html/Lincons1.html text/html root:root 0o644 16.0 KB
/usr/share/doc/libapron-ocaml-dev/html/Linexpr0.html text/html root:root 0o644 8.9 KB
/usr/share/doc/libapron-ocaml-dev/html/Linexpr1.html text/html root:root 0o644 9.4 KB
/usr/share/doc/libapron-ocaml-dev/html/Manager.html text/html root:root 0o644 24.7 KB
/usr/share/doc/libapron-ocaml-dev/html/Mpf.html text/html root:root 0o644 20.5 KB
/usr/share/doc/libapron-ocaml-dev/html/Mpfrf.html text/html root:root 0o644 12.8 KB
/usr/share/doc/libapron-ocaml-dev/html/Mpfr.html text/html root:root 0o644 41.2 KB
/usr/share/doc/libapron-ocaml-dev/html/Mpqf.html text/html root:root 0o644 9.7 KB
/usr/share/doc/libapron-ocaml-dev/html/Mpq.html text/html root:root 0o644 14.1 KB
/usr/share/doc/libapron-ocaml-dev/html/Mpzf.html text/html root:root 0o644 10.7 KB
/usr/share/doc/libapron-ocaml-dev/html/Mpz.html text/html root:root 0o644 39.4 KB
/usr/share/doc/libapron-ocaml-dev/html/Oct.Abstract0.html text/html root:root 0o644 3.8 KB
/usr/share/doc/libapron-ocaml-dev/html/Oct.Abstract1.html text/html root:root 0o644 3.8 KB
/usr/share/doc/libapron-ocaml-dev/html/Oct.html text/html root:root 0o644 9.8 KB
/usr/share/doc/libapron-ocaml-dev/html/Parser.html text/html root:root 0o644 24.2 KB
/usr/share/doc/libapron-ocaml-dev/html/Polka.Abstract0.html text/html root:root 0o644 5.8 KB
/usr/share/doc/libapron-ocaml-dev/html/Polka.Abstract1.html text/html root:root 0o644 5.8 KB
/usr/share/doc/libapron-ocaml-dev/html/PolkaGrid.Abstract0.html text/html root:root 0o644 4.0 KB
/usr/share/doc/libapron-ocaml-dev/html/PolkaGrid.Abstract1.html text/html root:root 0o644 4.0 KB
/usr/share/doc/libapron-ocaml-dev/html/PolkaGrid.html text/html root:root 0o644 9.2 KB
/usr/share/doc/libapron-ocaml-dev/html/Polka.html text/html root:root 0o644 13.5 KB
/usr/share/doc/libapron-ocaml-dev/html/Ppl.Abstract0.html text/html root:root 0o644 5.6 KB
/usr/share/doc/libapron-ocaml-dev/html/Ppl.Abstract1.html text/html root:root 0o644 5.7 KB
/usr/share/doc/libapron-ocaml-dev/html/Ppl.html text/html root:root 0o644 12.0 KB
/usr/share/doc/libapron-ocaml-dev/html/Scalar.html text/html root:root 0o644 9.9 KB
/usr/share/doc/libapron-ocaml-dev/html/style.css text/x-asm root:root 0o644 2.8 KB
/usr/share/doc/libapron-ocaml-dev/html/Tcons0.html text/html root:root 0o644 6.4 KB
/usr/share/doc/libapron-ocaml-dev/html/Tcons1.html text/html root:root 0o644 12.6 KB
/usr/share/doc/libapron-ocaml-dev/html/Texpr0.html text/html root:root 0o644 17.0 KB
/usr/share/doc/libapron-ocaml-dev/html/Texpr1.html text/html root:root 0o644 17.3 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Abstract0.html text/html root:root 0o644 51.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Abstract1.html text/html root:root 0o644 49.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Box.Abstract0.html text/html root:root 0o644 3.4 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Box.Abstract1.html text/html root:root 0o644 3.4 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Box.html text/html root:root 0o644 6.4 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Coeff.html text/html root:root 0o644 7.9 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Dim.html text/html root:root 0o644 3.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Environment.html text/html root:root 0o644 11.5 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Generator0.html text/html root:root 0o644 4.3 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Generator1.html text/html root:root 0o644 11.2 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Gmp_random.html text/html root:root 0o644 7.1 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Gmp_random.Mpf.html text/html root:root 0o644 2.9 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Gmp_random.Mpfr.html text/html root:root 0o644 2.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Gmp_random.Mpz.html text/html root:root 0o644 3.7 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Interval.html text/html root:root 0o644 7.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Introduction.html text/html root:root 0o644 2.5 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Lincons0.html text/html root:root 0o644 4.3 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Lincons1.html text/html root:root 0o644 12.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Linexpr0.html text/html root:root 0o644 8.4 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Linexpr1.html text/html root:root 0o644 8.0 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Manager.html text/html root:root 0o644 14.9 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Mpf.html text/html root:root 0o644 22.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Mpfrf.html text/html root:root 0o644 13.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Mpfr.html text/html root:root 0o644 63.7 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Mpqf.html text/html root:root 0o644 9.0 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Mpq.html text/html root:root 0o644 14.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Mpzf.html text/html root:root 0o644 10.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Mpz.html text/html root:root 0o644 52.4 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Oct.Abstract0.html text/html root:root 0o644 3.4 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Oct.Abstract1.html text/html root:root 0o644 3.4 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Oct.html text/html root:root 0o644 11.5 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Parser.html text/html root:root 0o644 7.3 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Polka.Abstract0.html text/html root:root 0o644 7.0 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Polka.Abstract1.html text/html root:root 0o644 7.0 KB
/usr/share/doc/libapron-ocaml-dev/html/type_PolkaGrid.Abstract0.html text/html root:root 0o644 3.5 KB
/usr/share/doc/libapron-ocaml-dev/html/type_PolkaGrid.Abstract1.html text/html root:root 0o644 3.5 KB
/usr/share/doc/libapron-ocaml-dev/html/type_PolkaGrid.html text/html root:root 0o644 10.1 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Polka.html text/html root:root 0o644 20.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Ppl.Abstract0.html text/html root:root 0o644 6.9 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Ppl.Abstract1.html text/html root:root 0o644 6.9 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Ppl.html text/html root:root 0o644 18.7 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Scalar.html text/html root:root 0o644 6.3 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Tcons0.html text/html root:root 0o644 4.4 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Tcons1.html text/html root:root 0o644 9.5 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Texpr0.html text/html root:root 0o644 13.6 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Texpr1.html text/html root:root 0o644 13.2 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Var.html text/html root:root 0o644 4.0 KB
/usr/share/doc/libapron-ocaml-dev/html/Var.html text/html root:root 0o644 4.4 KB
/usr/share/doc/libapron-ocaml-dev/README.source text/plain root:root 0o644 418 bytes
/var/ root:root 0o755
/var/lib/ root:root 0o755
/var/lib/ocaml/ root:root 0o755
/var/lib/ocaml/lintian/ root:root 0o755
/var/lib/ocaml/lintian/libapron-ocaml-dev.info text/plain root:root 0o644 2.8 KB
/var/lib/ocaml/md5sums/ root:root 0o755
/var/lib/ocaml/md5sums/libapron-ocaml-dev.md5sums text/plain root:root 0o644 2.5 KB