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-6_amd64.deb .

View its full control file here: debian/control.

Description

abstract interpretation library (OCaml interface)

Relations

This package depends on: libapron-ocaml-tz7t2, ocaml-nox-4.01.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-6 is in ubuntu - trusty / 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 386.0 KB
/usr/lib/ocaml/apron/apron.cma application/octet-stream root:root 0o644 375.1 KB
/usr/lib/ocaml/apron/apron.cmi application/octet-stream root:root 0o644 77.6 KB
/usr/lib/ocaml/apron/apron.cmx application/octet-stream root:root 0o644 48.6 KB
/usr/lib/ocaml/apron/apron.cmxa application/octet-stream root:root 0o644 1.3 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.8 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.9 KB
/usr/lib/ocaml/apron/boxD.cma application/octet-stream root:root 0o644 6.0 KB
/usr/lib/ocaml/apron/boxD.cmxa application/octet-stream root:root 0o644 704 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 6.0 KB
/usr/lib/ocaml/apron/boxMPFR.cmxa application/octet-stream root:root 0o644 710 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 6.0 KB
/usr/lib/ocaml/apron/boxMPQ.cmxa application/octet-stream root:root 0o644 708 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 150.6 KB
/usr/lib/ocaml/apron/gmp.cma application/octet-stream root:root 0o644 139.9 KB
/usr/lib/ocaml/apron/gmp.cmxa application/octet-stream root:root 0o644 2.7 KB
/usr/lib/ocaml/apron/gmp_random.cmi application/octet-stream root:root 0o644 1.9 KB
/usr/lib/ocaml/apron/gmp_random.cmx application/octet-stream root:root 0o644 368 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.5 KB
/usr/lib/ocaml/apron/libap_pkgrid_debug.a application/x-archive root:root 0o644 8.6 KB
/usr/lib/ocaml/apron/libap_ppl.a application/x-archive root:root 0o644 358.4 KB
/usr/lib/ocaml/apron/libap_ppl_caml.a application/x-archive root:root 0o644 2.6 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.2 MB
/usr/lib/ocaml/apron/libapron_caml.a application/x-archive root:root 0o644 192.9 KB
/usr/lib/ocaml/apron/libapron_caml_debug.a application/x-archive root:root 0o644 234.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.4 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.0 KB
/usr/lib/ocaml/apron/libboxMPFR.a application/x-archive root:root 0o644 62.0 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 82.9 KB
/usr/lib/ocaml/apron/libgmp_caml.a application/x-archive root:root 0o644 149.1 KB
/usr/lib/ocaml/apron/libitv.a application/x-archive root:root 0o644 876.2 KB
/usr/lib/ocaml/apron/libitvD.a application/x-archive root:root 0o644 81.2 KB
/usr/lib/ocaml/apron/libitvD_debug.a application/x-archive root:root 0o644 118.6 KB
/usr/lib/ocaml/apron/libitv_debug.a application/x-archive root:root 0o644 1012.7 KB
/usr/lib/ocaml/apron/libitvIl.a application/x-archive root:root 0o644 87.2 KB
/usr/lib/ocaml/apron/libitvIl_debug.a application/x-archive root:root 0o644 120.5 KB
/usr/lib/ocaml/apron/libitvIll.a application/x-archive root:root 0o644 87.4 KB
/usr/lib/ocaml/apron/libitvIll_debug.a application/x-archive root:root 0o644 120.7 KB
/usr/lib/ocaml/apron/libitvMPFR.a application/x-archive root:root 0o644 117.5 KB
/usr/lib/ocaml/apron/libitvMPFR_debug.a application/x-archive root:root 0o644 125.0 KB
/usr/lib/ocaml/apron/libitvMPQ.a application/x-archive root:root 0o644 120.8 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 111.3 KB
/usr/lib/ocaml/apron/libitvMPZ_debug.a application/x-archive root:root 0o644 125.5 KB
/usr/lib/ocaml/apron/libitvRl.a application/x-archive root:root 0o644 135.8 KB
/usr/lib/ocaml/apron/libitvRl_debug.a application/x-archive root:root 0o644 136.6 KB
/usr/lib/ocaml/apron/libitvRll.a application/x-archive root:root 0o644 136.0 KB
/usr/lib/ocaml/apron/libitvRll_debug.a application/x-archive root:root 0o644 136.8 KB
/usr/lib/ocaml/apron/liboctD.a application/x-archive root:root 0o644 161.2 KB
/usr/lib/ocaml/apron/liboctD_caml.a application/x-archive root:root 0o644 6.6 KB
/usr/lib/ocaml/apron/liboctD_caml_debug.a application/x-archive root:root 0o644 7.6 KB
/usr/lib/ocaml/apron/liboctD_debug.a application/x-archive root:root 0o644 161.4 KB
/usr/lib/ocaml/apron/liboctMPQ.a application/x-archive root:root 0o644 205.5 KB
/usr/lib/ocaml/apron/liboctMPQ_caml.a application/x-archive root:root 0o644 6.6 KB
/usr/lib/ocaml/apron/liboctMPQ_caml_debug.a application/x-archive root:root 0o644 7.6 KB
/usr/lib/ocaml/apron/liboctMPQ_debug.a application/x-archive root:root 0o644 231.4 KB
/usr/lib/ocaml/apron/libpolkaGrid_caml.a application/x-archive root:root 0o644 4.8 KB
/usr/lib/ocaml/apron/libpolkaGrid_caml_debug.a application/x-archive root:root 0o644 6.2 KB
/usr/lib/ocaml/apron/libpolkaMPQ.a application/x-archive root:root 0o644 220.3 KB
/usr/lib/ocaml/apron/libpolkaMPQ_caml.a application/x-archive root:root 0o644 4.9 KB
/usr/lib/ocaml/apron/libpolkaMPQ_caml_debug.a application/x-archive root:root 0o644 5.5 KB
/usr/lib/ocaml/apron/libpolkaMPQ_debug.a application/x-archive root:root 0o644 289.6 KB
/usr/lib/ocaml/apron/libpolkaRll.a application/x-archive root:root 0o644 207.4 KB
/usr/lib/ocaml/apron/libpolkaRll_caml.a application/x-archive root:root 0o644 4.9 KB
/usr/lib/ocaml/apron/libpolkaRll_caml_debug.a application/x-archive root:root 0o644 5.5 KB
/usr/lib/ocaml/apron/libpolkaRll_debug.a application/x-archive root:root 0o644 291.1 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.5 KB
/usr/lib/ocaml/apron/mpf.cmx application/octet-stream root:root 0o644 1.8 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.5 KB
/usr/lib/ocaml/apron/mpfr.cmx application/octet-stream root:root 0o644 3.1 KB
/usr/lib/ocaml/apron/mpfrf.cmi application/octet-stream root:root 0o644 4.8 KB
/usr/lib/ocaml/apron/mpfrf.cmx application/octet-stream root:root 0o644 6.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.1 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.7 KB
/usr/lib/ocaml/apron/mpqf.cmx application/octet-stream root:root 0o644 3.4 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.1 KB
/usr/lib/ocaml/apron/mpz.cmx application/octet-stream root:root 0o644 1.7 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.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.5 KB
/usr/lib/ocaml/apron/oct.cma application/octet-stream root:root 0o644 8.4 KB
/usr/lib/ocaml/apron/oct.cmi application/octet-stream root:root 0o644 3.7 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 708 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 8.4 KB
/usr/lib/ocaml/apron/octD.cmxa application/octet-stream root:root 0o644 704 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 8.4 KB
/usr/lib/ocaml/apron/octMPQ.cmxa application/octet-stream root:root 0o644 708 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.1 KB
/usr/lib/ocaml/apron/polka.cmx application/octet-stream root:root 0o644 6.9 KB
/usr/lib/ocaml/apron/polka.cmxa root:root 0o777
/usr/lib/ocaml/apron/polkaGrid.a application/x-archive root:root 0o644 9.9 KB
/usr/lib/ocaml/apron/polkaGrid.cma application/octet-stream root:root 0o644 8.1 KB
/usr/lib/ocaml/apron/polkaGrid.cmi application/octet-stream root:root 0o644 3.2 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 780 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.8 KB
/usr/lib/ocaml/apron/polkaMPQ.cma application/octet-stream root:root 0o644 22.2 KB
/usr/lib/ocaml/apron/polkaMPQ.cmxa application/octet-stream root:root 0o644 716 bytes
/usr/lib/ocaml/apron/polkaRll.a application/x-archive root:root 0o644 27.8 KB
/usr/lib/ocaml/apron/polkaRll.cma application/octet-stream root:root 0o644 22.2 KB
/usr/lib/ocaml/apron/polkaRll.cmxa application/octet-stream root:root 0o644 716 bytes
/usr/lib/ocaml/apron/ppl.a application/x-archive root:root 0o644 26.7 KB
/usr/lib/ocaml/apron/ppl.cma application/octet-stream root:root 0o644 20.9 KB
/usr/lib/ocaml/apron/ppl.cmi application/octet-stream root:root 0o644 6.2 KB
/usr/lib/ocaml/apron/ppl.cmxa application/octet-stream root:root 0o644 748 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 994 bytes
/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 34.9 KB
/usr/share/doc/libapron-ocaml-dev/html/Abstract1.html text/html root:root 0o644 37.0 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.4 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.5 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.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 33.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.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.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.7 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.7 KB
/usr/share/doc/libapron-ocaml-dev/html/Mpq.html text/html root:root 0o644 13.6 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 36.2 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 16.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 16.1 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.7 KB
/var/lib/ocaml/md5sums/ root:root 0o755
/var/lib/ocaml/md5sums/libapron-ocaml-dev.md5sums text/plain root:root 0o644 2.4 KB