libfacile-ocaml-dev (1.1.4-4+b3)

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

Version

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: facile (1.1.4-4)
Architecture: i386
Section: ocaml
Priority: optional
Maintainer: Debian OCaml Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 2.8 kB
Size expected: 2.2 MB
Size actual: 2.2 MB
Size match

Dependencies

Required package dependencies

libstdlib-ocaml-dev-ye7o9
ocaml-5.3.0

Suggested packages

Recommended additional packages

ocaml-findlib

Description

functional constraint library implemented in Objective Caml

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	e994d2ea…5846ba77	e994d2ea…5846ba77
SHA-1	450d820e…7b712e27	450d820e…7b712e27
SHA-256	abcbdd28…ff24720a	abcbdd28…ff24720a
SHA-512	Not provided	afe06404…c248bbef

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.3.0
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/META
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/dune-package
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile.cma
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_alldiff.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_alldiff.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_alldiff.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_arith.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_arith.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_arith.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_boolean.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_boolean.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_boolean.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_conjunto.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_conjunto.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_conjunto.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_cstr.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_cstr.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_cstr.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_data.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_data.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_data.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_debug.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_debug.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_debug.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_domain.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_domain.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_domain.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_expr.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_expr.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_expr.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_fdArray.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_fdArray.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_fdArray.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_float.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_float.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_float.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_gcc.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_gcc.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_gcc.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_genesis.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_genesis.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_genesis.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_goals.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_goals.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_goals.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_interval.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_interval.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_interval.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_invariant.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_invariant.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_invariant.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_linear.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_linear.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_linear.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_misc.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_misc.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_misc.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_nonlinear.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_nonlinear.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_nonlinear.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_opti.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_opti.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_opti.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_reify.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_reify.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_reify.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_setDomain.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_setDomain.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_setDomain.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_sorting.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_sorting.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_sorting.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_stak.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_stak.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_stak.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_var.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_var.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_var.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_alldiff.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_alldiff.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_arith.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_arith.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_boolean.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_boolean.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_conjunto.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_conjunto.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_cstr.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_cstr.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_data.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_data.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_debug.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_debug.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_domain.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_domain.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_expr.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_expr.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_fdArray.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_fdArray.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_float.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_float.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_gcc.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_gcc.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_genesis.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_genesis.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_goals.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_goals.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_interval.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_interval.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_invariant.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_invariant.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_linear.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_linear.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_misc.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_misc.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_nonlinear.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_nonlinear.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_opti.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_opti.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_reify.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_reify.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_setDomain.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_setDomain.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_sorting.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_sorting.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_stak.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_stak.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_var.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/fcl_var.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/facile/opam
usr/share
usr/share/doc
usr/share/doc/libfacile-ocaml-dev
usr/share/doc/libfacile-ocaml-dev/LICENSE.md.gz
usr/share/doc/libfacile-ocaml-dev/README.md
usr/share/doc/libfacile-ocaml-dev/changelog.Debian.gz
usr/share/doc/libfacile-ocaml-dev/changelog.Debian.i386.gz
usr/share/doc/libfacile-ocaml-dev/changelog.gz
usr/share/doc/libfacile-ocaml-dev/copyright
usr/share/doc/libfacile-ocaml-dev/examples
usr/share/doc/libfacile-ocaml-dev/examples/coins.ml
usr/share/doc/libfacile-ocaml-dev/examples/golf.ml
usr/share/doc/libfacile-ocaml-dev/examples/golomb.ml
usr/share/doc/libfacile-ocaml-dev/examples/jobshop.ml
usr/share/doc/libfacile-ocaml-dev/examples/magic.ml
usr/share/doc/libfacile-ocaml-dev/examples/marriage.ml
usr/share/doc/libfacile-ocaml-dev/examples/mt10.dat
usr/share/doc/libfacile-ocaml-dev/examples/prolog.ml
usr/share/doc/libfacile-ocaml-dev/examples/scheduling.ml
usr/share/doc/libfacile-ocaml-dev/examples/seven_eleven.ml
usr/share/doc/libfacile-ocaml-dev/examples/tiles.ml
var
var/lib
var/lib/ocaml
var/lib/ocaml/lintian
var/lib/ocaml/lintian/libfacile-ocaml-dev.info
var/lib/ocaml/md5sums
var/lib/ocaml/md5sums/libfacile-ocaml-dev.md5sums