About

This package is 1.3 MB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/a/apron/libapron-ocaml-dev_0.9.10-7_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-7 is in ubuntu - xenial / universe. 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.9 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.6 KB
/usr/lib/ocaml/apron/libap_pkgrid_debug.a application/x-archive root:root 0o644 8.7 KB
/usr/lib/ocaml/apron/libap_ppl.a application/x-archive root:root 0o644 350.0 KB
/usr/lib/ocaml/apron/libap_ppl_caml.a application/x-archive root:root 0o644 2.8 KB
/usr/lib/ocaml/apron/libap_ppl_caml_debug.a application/x-archive root:root 0o644 2.9 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.3 MB
/usr/lib/ocaml/apron/libapron_caml.a application/x-archive root:root 0o644 204.2 KB
/usr/lib/ocaml/apron/libapron_caml_debug.a application/x-archive root:root 0o644 244.0 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 55.0 KB
/usr/lib/ocaml/apron/libboxD_caml.a application/x-archive root:root 0o644 2.0 KB
/usr/lib/ocaml/apron/libboxD_caml_debug.a application/x-archive root:root 0o644 2.3 KB
/usr/lib/ocaml/apron/libboxD_debug.a application/x-archive root:root 0o644 79.1 KB
/usr/lib/ocaml/apron/libboxMPFR.a application/x-archive root:root 0o644 62.7 KB
/usr/lib/ocaml/apron/libboxMPFR_caml.a application/x-archive root:root 0o644 2.0 KB
/usr/lib/ocaml/apron/libboxMPFR_caml_debug.a application/x-archive root:root 0o644 2.3 KB
/usr/lib/ocaml/apron/libboxMPFR_debug.a application/x-archive root:root 0o644 82.1 KB
/usr/lib/ocaml/apron/libboxMPQ.a application/x-archive root:root 0o644 63.3 KB
/usr/lib/ocaml/apron/libboxMPQ_caml.a application/x-archive root:root 0o644 2.0 KB
/usr/lib/ocaml/apron/libboxMPQ_caml_debug.a application/x-archive root:root 0o644 2.3 KB
/usr/lib/ocaml/apron/libboxMPQ_debug.a application/x-archive root:root 0o644 83.0 KB
/usr/lib/ocaml/apron/libgmp_caml.a application/x-archive root:root 0o644 170.4 KB
/usr/lib/ocaml/apron/libitv.a application/x-archive root:root 0o644 906.0 KB
/usr/lib/ocaml/apron/libitvD.a application/x-archive root:root 0o644 81.0 KB
/usr/lib/ocaml/apron/libitvD_debug.a application/x-archive root:root 0o644 120.1 KB
/usr/lib/ocaml/apron/libitv_debug.a application/x-archive root:root 0o644 1.0 MB
/usr/lib/ocaml/apron/libitvIl.a application/x-archive root:root 0o644 92.5 KB
/usr/lib/ocaml/apron/libitvIl_debug.a application/x-archive root:root 0o644 122.1 KB
/usr/lib/ocaml/apron/libitvIll.a application/x-archive root:root 0o644 92.6 KB
/usr/lib/ocaml/apron/libitvIll_debug.a application/x-archive root:root 0o644 122.4 KB
/usr/lib/ocaml/apron/libitvMPFR.a application/x-archive root:root 0o644 118.4 KB
/usr/lib/ocaml/apron/libitvMPFR_debug.a application/x-archive root:root 0o644 126.2 KB
/usr/lib/ocaml/apron/libitvMPQ.a application/x-archive root:root 0o644 125.7 KB
/usr/lib/ocaml/apron/libitvMPQ_debug.a application/x-archive root:root 0o644 131.5 KB
/usr/lib/ocaml/apron/libitvMPZ.a application/x-archive root:root 0o644 116.3 KB
/usr/lib/ocaml/apron/libitvMPZ_debug.a application/x-archive root:root 0o644 127.0 KB
/usr/lib/ocaml/apron/libitvRl.a application/x-archive root:root 0o644 140.0 KB
/usr/lib/ocaml/apron/libitvRl_debug.a application/x-archive root:root 0o644 139.5 KB
/usr/lib/ocaml/apron/libitvRll.a application/x-archive root:root 0o644 140.3 KB
/usr/lib/ocaml/apron/libitvRll_debug.a application/x-archive root:root 0o644 139.7 KB
/usr/lib/ocaml/apron/liboctD.a application/x-archive root:root 0o644 164.7 KB
/usr/lib/ocaml/apron/liboctD_caml.a application/x-archive root:root 0o644 6.9 KB
/usr/lib/ocaml/apron/liboctD_caml_debug.a application/x-archive root:root 0o644 7.7 KB
/usr/lib/ocaml/apron/liboctD_debug.a application/x-archive root:root 0o644 164.8 KB
/usr/lib/ocaml/apron/liboctMPQ.a application/x-archive root:root 0o644 209.3 KB
/usr/lib/ocaml/apron/liboctMPQ_caml.a application/x-archive root:root 0o644 6.9 KB
/usr/lib/ocaml/apron/liboctMPQ_caml_debug.a application/x-archive root:root 0o644 7.7 KB
/usr/lib/ocaml/apron/liboctMPQ_debug.a application/x-archive root:root 0o644 231.8 KB
/usr/lib/ocaml/apron/libpolkaGrid_caml.a application/x-archive root:root 0o644 5.1 KB
/usr/lib/ocaml/apron/libpolkaGrid_caml_debug.a application/x-archive root:root 0o644 6.4 KB
/usr/lib/ocaml/apron/libpolkaMPQ.a application/x-archive root:root 0o644 233.1 KB
/usr/lib/ocaml/apron/libpolkaMPQ_caml.a application/x-archive root:root 0o644 5.3 KB
/usr/lib/ocaml/apron/libpolkaMPQ_caml_debug.a application/x-archive root:root 0o644 5.8 KB
/usr/lib/ocaml/apron/libpolkaMPQ_debug.a application/x-archive root:root 0o644 289.7 KB
/usr/lib/ocaml/apron/libpolkaRll.a application/x-archive root:root 0o644 223.5 KB
/usr/lib/ocaml/apron/libpolkaRll_caml.a application/x-archive root:root 0o644 5.3 KB
/usr/lib/ocaml/apron/libpolkaRll_caml_debug.a application/x-archive root:root 0o644 5.8 KB
/usr/lib/ocaml/apron/libpolkaRll_debug.a application/x-archive root:root 0o644 291.5 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/libapron-ocaml-dev/ root:root 0o755
/usr/share/doc/libapron-ocaml-dev/changelog.Debian.gz application/gzip root:root 0o644 1.1 KB
/usr/share/doc/libapron-ocaml-dev/copyright text/plain root:root 0o644 2.6 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.4 KB