Package - libnum-ocaml-dev

Package:  libnum-ocaml-dev
apt-get install libnum-ocaml-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/o/ocaml-num/libnum-ocaml-dev_1.5-1+b3_amd64.deb (Size: 143.1KiB)

PropertyValue
Packagelibnum-ocaml-dev
Sourceocaml-num (1.5-1)
Version1.5-1+b3
Installed-Size516
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibnum-ocaml-dev-4uaw3
Dependslibcompiler-libs-ocaml-dev-4b6d0, libnum-ocaml-4uaw3, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0
Recommendsocaml-findlib
Descriptionlibrary for arbitrary-precision and rational arithmetic (development)
Description-md58762f0ab01f1b1ec32e62aa775f7fd59
Homepagehttps://github.com/ocaml/num
Sectionocaml
Priorityoptional
Filenamepool/main/o/ocaml-num/libnum-ocaml-dev_1.5-1+b3_amd64.deb
Size146520
MD5sum12a5baff4c774d63dd689a1f4600d812
SHA256e5e589e7cff5d32a690130181795fafd7eedda8153107df81c1055d93a79841f

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/arith_flags.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/arith_status.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/arith_status.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/arith_status.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/arith_status.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/big_int.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/big_int.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/big_int.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/big_int.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/int_misc.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/libnums.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/nat.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/nat.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/nat.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/nat.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/num-top/META
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/num-top/num_top.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/num-top/num_top.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/num-top/num_top_printers.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/num.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/num.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/num.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/num.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/nums.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/nums.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ratio.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ratio.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ratio.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ratio.mli
  • /usr/share/doc/libnum-ocaml-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/libnum-ocaml-dev/changelog.Debian.gz
  • /usr/share/doc/libnum-ocaml-dev/changelog.gz
  • /usr/share/doc/libnum-ocaml-dev/copyright
  • /var/lib/ocaml/lintian/libnum-ocaml-dev.META.num
  • /var/lib/ocaml/lintian/libnum-ocaml-dev.info
  • /var/lib/ocaml/md5sums/libnum-ocaml-dev.md5sums