ocplib-simplex-ocaml-dev (0.5.1-4+b11)

2 versions available in kali/kali-last-snapshot/main/i386

Details

Core information at a glance

Distribution
kali
Origin
kali-last-snapshot
Repository
https://http.kali.org/kali
Codename
kali-last-snapshot
Component
main
Source
ocplib-simplex (0.5.1-4)
Architecture
i386
Section
ocaml
Priority
optional
Maintainer
Debian OCaml Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
3.3 kB
Size expected
665.2 kB
Size actual
665.2 kB
Size match

Dependencies

Required package dependencies

  • liblogs-ocaml-hdu28
  • libstdlib-ocaml-1vpd4

Suggested packages

Recommended additional packages

  • ocaml-findlib

Description

simplex library for solving linear inequalities

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD53ed2e6fd…e0962ae1
SHA-1487ba78a…29f48309
SHA-25637cb1af7…6cc4c3ec
SHA-51220661342…adf7e3ba

Contents

Files and directories included

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