Package - libfacile-ocaml-dev
Primary informations
Download package: http://deb.debian.org/debian/pool/main/f/facile/libfacile-ocaml-dev_1.1.4-4+b3_amd64.deb (Size: 2.4MiB)| Property | Value |
|---|---|
| Package | libfacile-ocaml-dev |
| Source | facile (1.1.4-4) |
| Version | 1.1.4-4+b3 |
| Installed-Size | 5093 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libfacile-ocaml-dev-9zwb1 |
| Depends | libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0 |
| Suggests | ocaml-findlib |
| Description | functional constraint library implemented in Objective Caml |
| Description-md5 | 499d25a77d0452e106bbebbd974877d0 |
| Homepage | http://facile.recherche.enac.fr/ |
| Tag | devel::lang:ocaml, devel::library, implemented-in::ocaml, role::devel-lib |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/f/facile/libfacile-ocaml-dev_1.1.4-4+b3_amd64.deb |
| Size | 2468500 |
| MD5sum | 8b9d0246952916c79d0321d960f49adb |
| SHA256 | 87a5dadd2e909fc4f486b0145e40bf90d97c54e34e38fc1b854084ce07ce3917 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/dune-package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile.a
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_alldiff.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_alldiff.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_alldiff.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_alldiff.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_arith.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_arith.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_arith.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_arith.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_boolean.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_boolean.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_boolean.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_boolean.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_conjunto.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_conjunto.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_conjunto.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_conjunto.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_cstr.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_cstr.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_cstr.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_cstr.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_data.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_data.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_data.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_data.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_debug.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_debug.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_debug.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_debug.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_domain.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_domain.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_domain.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_domain.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_expr.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_expr.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_expr.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_expr.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_fdArray.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_fdArray.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_fdArray.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_fdArray.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_float.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_float.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_float.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_float.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_gcc.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_gcc.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_gcc.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_gcc.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_genesis.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_genesis.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_genesis.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_genesis.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_goals.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_goals.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_goals.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_goals.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_interval.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_interval.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_interval.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_interval.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_invariant.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_invariant.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_invariant.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_invariant.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_linear.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_linear.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_linear.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_linear.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_misc.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_misc.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_misc.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_misc.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_nonlinear.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_nonlinear.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_nonlinear.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_nonlinear.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_opti.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_opti.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_opti.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_opti.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_reify.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_reify.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_reify.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_reify.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_setDomain.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_setDomain.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_setDomain.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_setDomain.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_sorting.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_sorting.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_sorting.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_sorting.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_stak.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_stak.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_stak.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_stak.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_var.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_var.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_var.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/facile__Fcl_var.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_alldiff.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_alldiff.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_arith.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_arith.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_boolean.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_boolean.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_conjunto.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_conjunto.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_cstr.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_cstr.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_data.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_data.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_debug.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_debug.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_domain.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_domain.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_expr.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_expr.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_fdArray.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_fdArray.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_float.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_float.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_gcc.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_gcc.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_genesis.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_genesis.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_goals.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_goals.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_interval.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_interval.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_invariant.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_invariant.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_linear.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_linear.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_misc.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_misc.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_nonlinear.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_nonlinear.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_opti.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_opti.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_reify.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_reify.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_setDomain.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_setDomain.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_sorting.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_sorting.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_stak.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_stak.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_var.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/fcl_var.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/facile/opam
- /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.amd64.gz
- /usr/share/doc/libfacile-ocaml-dev/changelog.Debian.gz
- /usr/share/doc/libfacile-ocaml-dev/changelog.gz
- /usr/share/doc/libfacile-ocaml-dev/copyright
- /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/lib/ocaml/lintian/libfacile-ocaml-dev.info
- /var/lib/ocaml/md5sums/libfacile-ocaml-dev.md5sums