Package - ocplib-simplex-ocaml-dev

Package:  ocplib-simplex-ocaml-dev
apt-get install ocplib-simplex-ocaml-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/o/ocplib-simplex/ocplib-simplex-ocaml-dev_0.5.1-4+b7_amd64.deb (Size: 1.1MiB)

PropertyValue
Packageocplib-simplex-ocaml-dev
Sourceocplib-simplex (0.5.1-4)
Version0.5.1-4+b7
Installed-Size1912
MaintainerDebian OCaml Maintainers
Architectureamd64
Dependsliblogs-ocaml-jqsp7, libstdlib-ocaml-m4xw9
Suggestsocaml-findlib
Descriptionsimplex library for solving linear inequalities
Description-md5c755269fc07de400d1f1731f4582d63e
Homepagehttps://github.com/OCamlPro-Iguernlala/ocplib-simplex
Sectionocaml
Priorityoptional
Filenamepool/main/o/ocplib-simplex/ocplib-simplex-ocaml-dev_0.5.1-4+b7_amd64.deb
Size1112976
MD5sum2848f10243a9cac4d9e3b05e3fd1c99f
SHA256081d322c984986e6fa12636438b8b8c938ce76c7e5518f9504cd02ba279803c0

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/META
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/OcplibSimplex.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/OcplibSimplex.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/OcplibSimplex.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/OcplibSimplex.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/assertBounds.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/assertBounds.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/basic.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/basic.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/core.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/core.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/coreSig.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/dune-package
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/extSigs.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__AssertBounds.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__AssertBounds.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__AssertBounds.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__AssertBounds.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Basic.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Basic.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Basic.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Basic.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Core.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Core.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Core.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Core.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__CoreSig.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__CoreSig.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__ExtSigs.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__ExtSigs.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Polys.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Polys.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Polys.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Polys.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Rat2.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Rat2.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Rat2.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Rat2.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Result.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Result.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Result.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Result.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__SolveBounds.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__SolveBounds.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__SolveBounds.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__SolveBounds.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Version.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Version.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Version.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/ocplibSimplex__Version.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/opam
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/polys.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/polys.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/rat2.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/rat2.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/result.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/result.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/solveBounds.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/solveBounds.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/version.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocplib-simplex/version.mli
  • /usr/share/doc/ocplib-simplex-ocaml-dev/README.md
  • /usr/share/doc/ocplib-simplex-ocaml-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/ocplib-simplex-ocaml-dev/changelog.Debian.gz
  • /usr/share/doc/ocplib-simplex-ocaml-dev/changelog.gz
  • /usr/share/doc/ocplib-simplex-ocaml-dev/copyright