libfacile-ocaml-dev (1.1.4-4build5)

Details

Core information at a glance
Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: stonking
Component: universe
Source: facile
Architecture: amd64v3
Section: universe/libdevel
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>
Size & integrity

Byte sizes and integrity verification
Installed size: 8.4 kB
Size expected: 2.3 MB
Size actual: 2.3 MB
Size match
Dependencies

Required package dependencies
libstdlib-ocaml-dev-kjuo1
ocaml-5.4.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	67f97548…47b831e6	67f97548…47b831e6
SHA-1	d1f87353…d7973391	d1f87353…d7973391
SHA-256	7d18a70a…403d1530	7d18a70a…403d1530
SHA-512	20eece76…f2293204	20eece76…f2293204
Files and directories included
.
usr
usr/lib
usr/lib/x86_64-linux-gnu
usr/lib/x86_64-linux-gnu/ocaml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/META
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/dune-package
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile.cma
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_alldiff.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_alldiff.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_alldiff.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_alldiff.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_arith.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_arith.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_arith.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_arith.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_boolean.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_boolean.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_boolean.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_boolean.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_conjunto.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_conjunto.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_conjunto.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_conjunto.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_cstr.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_cstr.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_cstr.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_cstr.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_data.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_data.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_data.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_data.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_debug.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_debug.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_debug.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_debug.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_domain.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_domain.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_domain.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_domain.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_expr.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_expr.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_expr.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_expr.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_fdArray.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_fdArray.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_fdArray.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_fdArray.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_float.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_float.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_float.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_float.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_gcc.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_gcc.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_gcc.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_gcc.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_genesis.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_genesis.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_genesis.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_genesis.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_goals.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_goals.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_goals.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_goals.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_interval.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_interval.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_interval.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_interval.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_invariant.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_invariant.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_invariant.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_invariant.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_linear.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_linear.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_linear.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_linear.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_misc.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_misc.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_misc.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_misc.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_nonlinear.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_nonlinear.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_nonlinear.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_nonlinear.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_opti.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_opti.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_opti.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_opti.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_reify.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_reify.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_reify.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_reify.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_setDomain.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_setDomain.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_setDomain.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_setDomain.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_sorting.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_sorting.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_sorting.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_sorting.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_stak.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_stak.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_stak.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_stak.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_var.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_var.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_var.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/facile__Fcl_var.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_alldiff.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_alldiff.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_arith.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_arith.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_boolean.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_boolean.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_conjunto.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_conjunto.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_cstr.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_cstr.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_data.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_data.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_debug.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_debug.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_domain.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_domain.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_expr.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_expr.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_fdArray.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_fdArray.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_float.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_float.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_gcc.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_gcc.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_genesis.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_genesis.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_goals.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_goals.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_interval.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_interval.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_invariant.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_invariant.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_linear.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_linear.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_misc.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_misc.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_nonlinear.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_nonlinear.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_opti.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_opti.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_reify.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_reify.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_setDomain.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_setDomain.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_sorting.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_sorting.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_stak.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_stak.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_var.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/fcl_var.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/facile/opam
usr/share
usr/share/doc
usr/share/doc/libfacile-ocaml-dev
usr/share/doc/libfacile-ocaml-dev/CHANGES.md
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/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