About

This package is 1.2 MB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/a/apron/libapron-ocaml-dev_0.9.10-9build4_amd64.deb .

View its full control file here: debian/control.

Description

abstract interpretation library (OCaml interface)

Relations

This package depends on: libapron-ocaml-d1hi5, ocaml-nox-4.05.0, 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-9build4 is in ubuntu - bionic / 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 456.0 KB
/usr/lib/ocaml/apron/apron.cma application/octet-stream root:root 0o644 388.1 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 83.7 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 2.0 KB
/usr/lib/ocaml/apron/box.cmxa root:root 0o777
/usr/lib/ocaml/apron/boxD.a application/x-archive root:root 0o644 7.9 KB
/usr/lib/ocaml/apron/boxD.cma application/octet-stream root:root 0o644 7.1 KB
/usr/lib/ocaml/apron/boxD.cmxa application/octet-stream root:root 0o644 762 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.9 KB
/usr/lib/ocaml/apron/boxMPFR.cma application/octet-stream root:root 0o644 7.1 KB
/usr/lib/ocaml/apron/boxMPFR.cmxa application/octet-stream root:root 0o644 768 bytes
/usr/lib/ocaml/apron/boxMPQ.a application/x-archive root:root 0o644 7.9 KB
/usr/lib/ocaml/apron/boxMPQ.cma application/octet-stream root:root 0o644 7.1 KB
/usr/lib/ocaml/apron/boxMPQ.cmxa application/octet-stream root:root 0o644 766 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 158.1 KB
/usr/lib/ocaml/apron/gmp.cma application/octet-stream root:root 0o644 149.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 450 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.7 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 276.4 KB
/usr/lib/ocaml/apron/libap_ppl_caml.a application/x-archive root:root 0o644 2.7 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 203.5 KB
/usr/lib/ocaml/apron/libapron_caml_debug.a application/x-archive root:root 0o644 243.8 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.7 KB
/usr/lib/ocaml/apron/libboxD_caml.a application/x-archive root:root 0o644 1.9 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.2 KB
/usr/lib/ocaml/apron/libboxMPFR.a application/x-archive root:root 0o644 62.8 KB
/usr/lib/ocaml/apron/libboxMPFR_caml.a application/x-archive root:root 0o644 1.9 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 61.6 KB
/usr/lib/ocaml/apron/libboxMPQ_caml.a application/x-archive root:root 0o644 1.9 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.1 KB
/usr/lib/ocaml/apron/libgmp_caml.a application/x-archive root:root 0o644 169.7 KB
/usr/lib/ocaml/apron/libitv.a application/x-archive root:root 0o644 928.6 KB
/usr/lib/ocaml/apron/libitvD.a application/x-archive root:root 0o644 89.8 KB
/usr/lib/ocaml/apron/libitvD_debug.a application/x-archive root:root 0o644 119.9 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 91.9 KB
/usr/lib/ocaml/apron/libitvIl_debug.a application/x-archive root:root 0o644 122.0 KB
/usr/lib/ocaml/apron/libitvIll.a application/x-archive root:root 0o644 92.1 KB
/usr/lib/ocaml/apron/libitvIll_debug.a application/x-archive root:root 0o644 122.2 KB
/usr/lib/ocaml/apron/libitvMPFR.a application/x-archive root:root 0o644 120.2 KB
/usr/lib/ocaml/apron/libitvMPFR_debug.a application/x-archive root:root 0o644 126.3 KB
/usr/lib/ocaml/apron/libitvMPQ.a application/x-archive root:root 0o644 122.3 KB
/usr/lib/ocaml/apron/libitvMPQ_debug.a application/x-archive root:root 0o644 131.6 KB
/usr/lib/ocaml/apron/libitvMPZ.a application/x-archive root:root 0o644 116.0 KB
/usr/lib/ocaml/apron/libitvMPZ_debug.a application/x-archive root:root 0o644 126.7 KB
/usr/lib/ocaml/apron/libitvRl.a application/x-archive root:root 0o644 148.6 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 148.7 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 167.9 KB
/usr/lib/ocaml/apron/liboctD_caml.a application/x-archive root:root 0o644 6.8 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 168.0 KB
/usr/lib/ocaml/apron/liboctMPQ.a application/x-archive root:root 0o644 210.9 KB
/usr/lib/ocaml/apron/liboctMPQ_caml.a application/x-archive root:root 0o644 6.8 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 232.2 KB
/usr/lib/ocaml/apron/libpolkaGrid_caml.a application/x-archive root:root 0o644 5.0 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 226.3 KB
/usr/lib/ocaml/apron/libpolkaMPQ_caml.a application/x-archive root:root 0o644 5.2 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.8 KB
/usr/lib/ocaml/apron/libpolkaRll.a application/x-archive root:root 0o644 218.2 KB
/usr/lib/ocaml/apron/libpolkaRll_caml.a application/x-archive root:root 0o644 5.2 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.6 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.7 KB
/usr/lib/ocaml/apron/mpf.cmx application/octet-stream root:root 0o644 2.4 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.9 KB
/usr/lib/ocaml/apron/mpfr.cmx application/octet-stream root:root 0o644 3.9 KB
/usr/lib/ocaml/apron/mpfrf.cmi application/octet-stream root:root 0o644 4.7 KB
/usr/lib/ocaml/apron/mpfrf.cmx application/octet-stream root:root 0o644 7.2 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.9 KB
/usr/lib/ocaml/apron/mpqf.cmi application/octet-stream root:root 0o644 2.7 KB
/usr/lib/ocaml/apron/mpqf.cmx application/octet-stream root:root 0o644 3.9 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.4 KB
/usr/lib/ocaml/apron/mpz.cmx application/octet-stream root:root 0o644 2.0 KB
/usr/lib/ocaml/apron/mpzf.cmi application/octet-stream root:root 0o644 3.1 KB
/usr/lib/ocaml/apron/mpzf.cmx application/octet-stream root:root 0o644 4.5 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.5 KB
/usr/lib/ocaml/apron/oct.cma application/octet-stream root:root 0o644 9.6 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 2.0 KB
/usr/lib/ocaml/apron/oct.cmxa application/octet-stream root:root 0o644 766 bytes
/usr/lib/ocaml/apron/octD.a application/x-archive root:root 0o644 8.5 KB
/usr/lib/ocaml/apron/octD.cma application/octet-stream root:root 0o644 9.6 KB
/usr/lib/ocaml/apron/octD.cmxa application/octet-stream root:root 0o644 762 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.5 KB
/usr/lib/ocaml/apron/octMPQ.cma application/octet-stream root:root 0o644 9.6 KB
/usr/lib/ocaml/apron/octMPQ.cmxa application/octet-stream root:root 0o644 766 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 7.0 KB
/usr/lib/ocaml/apron/polka.cmxa root:root 0o777
/usr/lib/ocaml/apron/polkaGrid.a application/x-archive root:root 0o644 10.2 KB
/usr/lib/ocaml/apron/polkaGrid.cma application/octet-stream root:root 0o644 9.1 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.8 KB
/usr/lib/ocaml/apron/polkaGrid.cmxa application/octet-stream root:root 0o644 834 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 27.9 KB
/usr/lib/ocaml/apron/polkaMPQ.cma application/octet-stream root:root 0o644 24.6 KB
/usr/lib/ocaml/apron/polkaMPQ.cmxa application/octet-stream root:root 0o644 772 bytes
/usr/lib/ocaml/apron/polkaRll.a application/x-archive root:root 0o644 27.9 KB
/usr/lib/ocaml/apron/polkaRll.cma application/octet-stream root:root 0o644 24.6 KB
/usr/lib/ocaml/apron/polkaRll.cmxa application/octet-stream root:root 0o644 772 bytes
/usr/lib/ocaml/apron/ppl.a application/x-archive root:root 0o644 26.8 KB
/usr/lib/ocaml/apron/ppl.cma application/octet-stream root:root 0o644 23.3 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 806 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.gz application/gzip root:root 0o644 1.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.2 KB
/usr/share/doc/libapron-ocaml-dev/html/Box.Abstract0.html text/html root:root 0o644 3.9 KB
/usr/share/doc/libapron-ocaml-dev/html/Box.Abstract1.html text/html root:root 0o644 3.9 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.9 KB
/usr/share/doc/libapron-ocaml-dev/html/Dim.html text/html root:root 0o644 8.7 KB
/usr/share/doc/libapron-ocaml-dev/html/Environment.html text/html root:root 0o644 12.8 KB
/usr/share/doc/libapron-ocaml-dev/html/Generator0.html text/html root:root 0o644 6.5 KB
/usr/share/doc/libapron-ocaml-dev/html/Generator1.html text/html root:root 0o644 14.0 KB
/usr/share/doc/libapron-ocaml-dev/html/Gmp_random.html text/html root:root 0o644 6.6 KB
/usr/share/doc/libapron-ocaml-dev/html/Gmp_random.Mpf.html text/html root:root 0o644 3.4 KB
/usr/share/doc/libapron-ocaml-dev/html/Gmp_random.Mpfr.html text/html root:root 0o644 3.3 KB
/usr/share/doc/libapron-ocaml-dev/html/Gmp_random.Mpz.html text/html root:root 0o644 3.7 KB
/usr/share/doc/libapron-ocaml-dev/html/index_attributes.html text/html root:root 0o644 2.6 KB
/usr/share/doc/libapron-ocaml-dev/html/index_classes.html text/html root:root 0o644 2.6 KB
/usr/share/doc/libapron-ocaml-dev/html/index_class_types.html text/html root:root 0o644 2.6 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.6 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.6 KB
/usr/share/doc/libapron-ocaml-dev/html/index_modules.html text/html root:root 0o644 8.6 KB
/usr/share/doc/libapron-ocaml-dev/html/index_module_types.html text/html root:root 0o644 2.6 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 157.1 KB
/usr/share/doc/libapron-ocaml-dev/html/Interval.html text/html root:root 0o644 9.6 KB
/usr/share/doc/libapron-ocaml-dev/html/Introduction.html text/html root:root 0o644 30.1 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.1 KB
/usr/share/doc/libapron-ocaml-dev/html/Linexpr0.html text/html root:root 0o644 9.0 KB
/usr/share/doc/libapron-ocaml-dev/html/Linexpr1.html text/html root:root 0o644 9.5 KB
/usr/share/doc/libapron-ocaml-dev/html/Manager.html text/html root:root 0o644 24.5 KB
/usr/share/doc/libapron-ocaml-dev/html/Mpf.html text/html root:root 0o644 18.4 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 40.0 KB
/usr/share/doc/libapron-ocaml-dev/html/Mpqf.html text/html root:root 0o644 9.8 KB
/usr/share/doc/libapron-ocaml-dev/html/Mpq.html text/html root:root 0o644 13.7 KB
/usr/share/doc/libapron-ocaml-dev/html/Mpzf.html text/html root:root 0o644 10.8 KB
/usr/share/doc/libapron-ocaml-dev/html/Mpz.html text/html root:root 0o644 36.3 KB
/usr/share/doc/libapron-ocaml-dev/html/Oct.Abstract0.html text/html root:root 0o644 3.9 KB
/usr/share/doc/libapron-ocaml-dev/html/Oct.Abstract1.html text/html root:root 0o644 3.9 KB
/usr/share/doc/libapron-ocaml-dev/html/Oct.html text/html root:root 0o644 9.9 KB
/usr/share/doc/libapron-ocaml-dev/html/Parser.html text/html root:root 0o644 17.0 KB
/usr/share/doc/libapron-ocaml-dev/html/Polka.Abstract0.html text/html root:root 0o644 5.9 KB
/usr/share/doc/libapron-ocaml-dev/html/Polka.Abstract1.html text/html root:root 0o644 5.9 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.8 KB
/usr/share/doc/libapron-ocaml-dev/html/Ppl.Abstract0.html text/html root:root 0o644 5.7 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.3 KB
/usr/share/doc/libapron-ocaml-dev/html/Scalar.html text/html root:root 0o644 10.0 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.5 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 16.2 KB
/usr/share/doc/libapron-ocaml-dev/html/Texpr1.html text/html root:root 0o644 17.4 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Abstract0.html text/html root:root 0o644 51.9 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.5 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Box.Abstract1.html text/html root:root 0o644 3.5 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.9 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Environment.html text/html root:root 0o644 11.6 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.2 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.9 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Gmp_random.Mpz.html text/html root:root 0o644 3.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Interval.html text/html root:root 0o644 7.9 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.4 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.1 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Manager.html text/html root:root 0o644 15.0 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Mpf.html text/html root:root 0o644 22.9 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.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Mpqf.html text/html root:root 0o644 9.1 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.9 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Mpz.html text/html root:root 0o644 52.5 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Oct.Abstract0.html text/html root:root 0o644 3.5 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Oct.Abstract1.html text/html root:root 0o644 3.5 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Oct.html text/html root:root 0o644 11.6 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Parser.html text/html root:root 0o644 7.4 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Polka.Abstract0.html text/html root:root 0o644 7.1 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Polka.Abstract1.html text/html root:root 0o644 7.1 KB
/usr/share/doc/libapron-ocaml-dev/html/type_PolkaGrid.Abstract0.html text/html root:root 0o644 3.6 KB
/usr/share/doc/libapron-ocaml-dev/html/type_PolkaGrid.Abstract1.html text/html root:root 0o644 3.6 KB
/usr/share/doc/libapron-ocaml-dev/html/type_PolkaGrid.html text/html root:root 0o644 10.2 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Polka.html text/html root:root 0o644 20.9 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.8 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Scalar.html text/html root:root 0o644 6.4 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.6 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.3 KB
/usr/share/doc/libapron-ocaml-dev/html/type_Var.html text/html root:root 0o644 4.1 KB
/usr/share/doc/libapron-ocaml-dev/html/Var.html text/html root:root 0o644 4.5 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.6 KB